Arama Sonuçları Set theory - Daraltılmış: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSet$002btheory$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092023$0025092023$0026te$003dILS$0026ps$003d300?dt=list
2024-12-28T10:46:49Z
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-12-28T10:46:49Z
2024-12-28T10:46:49Z
Yazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>
Belirsizlik içeren küme teorilerine giriş
ent://SD_ILS/0/SD_ILS:518176
2024-12-28T10:46:49Z
2024-12-28T10:46:49Z
Yazar Atmaca, Serkan, author.<br/>Yer Numarası QA248 A88 2023<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~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-28T10:46:49Z
2024-12-28T10:46:49Z
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/>
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521140
2024-12-28T10:46:49Z
2024-12-28T10:46:49Z
Yazar Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521140.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-42823-4">https://doi.org/10.1007/978-3-031-42823-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521020
2024-12-28T10:46:49Z
2024-12-28T10:46:49Z
Yazar Dürrschnabel, Dominik. editor. López Rodríguez, Domingo. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521020.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35949-1">https://doi.org/10.1007/978-3-031-35949-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521379
2024-12-28T10:46:49Z
2024-12-28T10:46:49Z
Yazar Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.<br/>Yer Numarası XX(521379.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50959-9">https://doi.org/10.1007/978-3-031-50959-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concise Guide to Software Verification From Model Checking to Annotation Checking
ent://SD_ILS/0/SD_ILS:520525
2024-12-28T10:46:49Z
2024-12-28T10:46:49Z
Yazar Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Yer Numarası XX(520525.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30167-4">https://doi.org/10.1007/978-3-031-30167-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521072
2024-12-28T10:46:49Z
2024-12-28T10:46:49Z
Yazar Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521072.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40960-8">https://doi.org/10.1007/978-3-031-40960-8</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-12-28T10:46:49Z
2024-12-28T10:46:49Z
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/>
Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520868
2024-12-28T10:46:49Z
2024-12-28T10:46:49Z
Yazar Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520868.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33498-6">https://doi.org/10.1007/978-3-031-33498-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computers and Games International Conference, CG 2022, Virtual Event, November 22-24, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520871
2024-12-28T10:46:49Z
2024-12-28T10:46:49Z
Yazar Browne, Cameron. editor. Kishimoto, Akihiro. editor. Schaeffer, Jonathan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520871.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34017-8">https://doi.org/10.1007/978-3-031-34017-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Algorithms and Data Structures 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520873
2024-12-28T10:46:49Z
2024-12-28T10:46:49Z
Yazar Morin, Pat. editor. Suri, Subhash. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520873.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38906-1">https://doi.org/10.1007/978-3-031-38906-1</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-12-28T10:46:49Z
2024-12-28T10:46:49Z
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/>
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-28T10:46:49Z
2024-12-28T10:46:49Z
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/>