Arama Sonuçları Mathematical logic. - Daraltılmış: Logic programming.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMathematical$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Logic$002bprogramming.$002509Logic$002bprogramming.$0026ps$003d300?dt=list
2026-03-23T21:23:17Z
Mathematical aspects of logic programming semantics
ent://SD_ILS/0/SD_ILS:541704
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Hitzler, Pascal., author. Seda, Anthony.<br/>Yer Numarası QA76.63 .H58 2011<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439829622">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
R-Calculus, VI: Finite Injury Priority Method
ent://SD_ILS/0/SD_ILS:605785
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-5830-2">https://doi.org/10.1007/978-981-97-5830-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608062
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-86054-6">https://doi.org/10.1007/978-3-031-86054-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607767
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-84595-6">https://doi.org/10.1007/978-3-031-84595-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608635
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-89610-1">https://doi.org/10.1007/978-3-031-89610-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604336
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-63536-6">https://doi.org/10.1007/978-3-031-63536-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605043
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-71379-8">https://doi.org/10.1007/978-3-031-71379-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602881
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55245-8">https://doi.org/10.1007/978-3-031-55245-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
R-Calculus, V: Description Logics
ent://SD_ILS/0/SD_ILS:602308
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-6460-4">https://doi.org/10.1007/978-981-99-6460-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602351
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-51777-8">https://doi.org/10.1007/978-3-031-51777-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604439
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66438-0">https://doi.org/10.1007/978-3-031-66438-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Discrete structures, logic, and computability
ent://SD_ILS/0/SD_ILS:268313
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Hein, James L.<br/>Yer Numarası QA76.9.M35 H44 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Principles of logic and logic programming
ent://SD_ILS/0/SD_ILS:253740
2026-03-23T21:23:17Z
2026-03-23T21:23:17Z
Yazar Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>