Arama Sonuçları Computer logic. - Daraltılmış: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002blogic.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092023$0025092023$0026ps$003d300$0026isd$003dtrue?dt=list
2024-11-23T08:53:11Z
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:520259
2024-11-23T08:53:11Z
2024-11-23T08:53:11Z
Yazar Farmer, William M. author. SpringerLink (Online service)<br/>Yer Numarası XX(520259.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-21112-6">https://doi.org/10.1007/978-3-031-21112-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms for Constructing Computably Enumerable Sets
ent://SD_ILS/0/SD_ILS:520324
2024-11-23T08:53:11Z
2024-11-23T08:53:11Z
Yazar Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Yer Numarası XX(520324.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26904-2">https://doi.org/10.1007/978-3-031-26904-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Konrad Zuse's Early Computers The Quest for the Computer in Germany
ent://SD_ILS/0/SD_ILS:520704
2024-11-23T08:53:11Z
2024-11-23T08:53:11Z
Yazar Rojas, Raúl. author. SpringerLink (Online service)<br/>Yer Numarası XX(520704.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-39876-6">https://doi.org/10.1007/978-3-031-39876-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520889
2024-11-23T08:53:11Z
2024-11-23T08:53:11Z
Yazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520889.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520898
2024-11-23T08:53:11Z
2024-11-23T08:53:11Z
Yazar Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520898.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-27181-6">https://doi.org/10.1007/978-3-031-27181-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Higher Education Computer Science A Manual of Practical Approaches
ent://SD_ILS/0/SD_ILS:520416
2024-11-23T08:53:11Z
2024-11-23T08:53:11Z
Yazar Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520416.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-29386-3">https://doi.org/10.1007/978-3-031-29386-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520518
2024-11-23T08:53:11Z
2024-11-23T08:53:11Z
Yazar Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520518.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38296-3">https://doi.org/10.1007/978-3-031-38296-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>