Search Results for Set theory. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSet$002btheory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ps$003d300$0026isd$003dtrue?
2024-11-09T11:11:31Z
Mathematical logic : A course with exercises
ent://SD_ILS/0/SD_ILS:76678
2024-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Preferred Shelf Number QA 9 C742513 2000 PT.1<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Belirsizlik içeren küme teorilerine giriş
ent://SD_ILS/0/SD_ILS:518176
2024-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Atmaca, Serkan, author.<br/>Preferred Shelf Number QA248 A88 2023<br/>Format: Books<br/>Availability Beytepe Library~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-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520823.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520868.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Browne, Cameron. editor. Kishimoto, Akihiro. editor. Schaeffer, Jonathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520871.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Morin, Pat. editor. Suri, Subhash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520873.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520976.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521379
2024-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.<br/>Preferred Shelf Number XX(521379.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Constructing Computably Enumerable Sets
ent://SD_ILS/0/SD_ILS:520324
2024-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Supowit, Kenneth J. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520324.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Verification From Model Checking to Annotation Checking
ent://SD_ILS/0/SD_ILS:520525
2024-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520525.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521140.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Dürrschnabel, Dominik. editor. López Rodríguez, Domingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521020.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-09T11:11:31Z
2024-11-09T11:11:31Z
Author Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520898.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-11-09T11:11:31Z
2024-11-09T11:11:31Z
Author Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521072.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>