Arama Sonuçları Axioms. - Daraltılmış: SpringerLink (Online service)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dAxioms.$0026qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ic$003dtrue$0026ps$003d300?
2024-12-13T04:52:00Z
Psychological Aspects of Social Axioms Understanding Global Belief Systems
ent://SD_ILS/0/SD_ILS:164799
2024-12-13T04:52:00Z
2024-12-13T04:52:00Z
Yazar Leung, Kwok. editor. Bond, Michael Harris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-09810-4">http://dx.doi.org/10.1007/978-0-387-09810-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520823
2024-12-13T04:52:00Z
2024-12-13T04:52:00Z
Yazar Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520823.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26689-8">https://doi.org/10.1007/978-3-031-26689-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520976
2024-12-13T04:52:00Z
2024-12-13T04:52:00Z
Yazar Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520976.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521192
2024-12-13T04:52:00Z
2024-12-13T04:52:00Z
Yazar Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521192.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40875-5">https://doi.org/10.1007/978-3-031-40875-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:520864
2024-12-13T04:52:00Z
2024-12-13T04:52:00Z
Yazar Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520864.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-31476-6">https://doi.org/10.1007/978-3-031-31476-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Meaningful Scientific Laws
ent://SD_ILS/0/SD_ILS:518422
2024-12-13T04:52:00Z
2024-12-13T04:52:00Z
Yazar Falmagne, Jean-Claude. author. Doble, Christopher. author. SpringerLink (Online service)<br/>Yer Numarası XX(518422.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46098-6">https://doi.org/10.1007/978-3-662-46098-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>