Arama Sonu&ccedil;lar&#305; Set theory - Daralt&#305;lm&#305;&#351;: 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&#160;Cori, Rene.&#160;Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numaras&#305;&#160;QA 9 C742513 2000 PT.1<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> Belirsizlik i&ccedil;eren k&uuml;me teorilerine giri&#351; ent://SD_ILS/0/SD_ILS:518176 2024-12-28T10:46:49Z 2024-12-28T10:46:49Z Yazar&#160;Atmaca, Serkan, author.<br/>Yer Numaras&#305;&#160;QA248 A88 2023<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;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&#160;Banerjee, Mohua. editor.&#160;Sreejith, A. V. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(520823.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&#160;Saeed, Khalid. editor. (orcid)&#160;Dvorsk&yacute;, Ji&#345;&iacute;. editor.&#160;Nishiuchi, Nobuyuki. editor.&#160;Fukumoto, Makoto. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(521140.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&#160;D&uuml;rrschnabel, Dominik. editor.&#160;L&oacute;pez Rodr&iacute;guez, Domingo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(521020.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&#160;Campagner, Andrea. editor.&#160;Urs Lenz, Oliver. editor.&#160;Xia, Shuyin. editor.&#160;&#346;l&#281;zak, Dominik. editor.&#160;W&#261;s, Jaros&#322;aw. editor.<br/>Yer Numaras&#305;&#160;XX(521379.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&#160;Huisman, Marieke. author.&#160;Wijs, Anton. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(520525.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&#160;Ojeda-Aciego, Manuel. editor.&#160;Sauerwald, Kai. editor.&#160;J&auml;schke, Robert. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(521072.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&#160;Supowit, Kenneth J. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(520324.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Ume&aring;, Sweden, June 19-22, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520868 2024-12-28T10:46:49Z 2024-12-28T10:46:49Z Yazar&#160;Torra, Vicen&ccedil;. editor.&#160;Narukawa, Yasuo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(520868.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&#160;Browne, Cameron. editor.&#160;Kishimoto, Akihiro. editor.&#160;Schaeffer, Jonathan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(520871.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&#160;Morin, Pat. editor.&#160;Suri, Subhash. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(520873.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&#160;Dovier, Agostino. editor.&#160;Montanari, Angelo. editor.&#160;Orlandini, Andrea. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(520898.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&#160;Pientka, Brigitte. editor.&#160;Tinelli, Cesare. editor. (orcid)&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;XX(520976.1)<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>