Arama Sonuçları Inference (Logic) - Daraltılmış: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dInference$002b$002528Logic$002529$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092023$0025092023$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list
2024-10-19T15:40:25Z
Logic : the theory of formal inference
ent://SD_ILS/0/SD_ILS:740
2024-10-19T15:40:25Z
2024-10-19T15:40:25Z
Yazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.<br/>Yer Numarası BC 108 A55 1972<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520735
2024-10-19T15:40:25Z
2024-10-19T15:40:25Z
Yazar Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520735.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-8296-7">https://doi.org/10.1007/978-981-99-8296-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:521170
2024-10-19T15:40:25Z
2024-10-19T15:40:25Z
Yazar Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521170.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-44216-2">https://doi.org/10.1007/978-3-031-44216-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520368
2024-10-19T15:40:25Z
2024-10-19T15:40:25Z
Yazar Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.<br/>Yer Numarası XX(520368.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-28180-8">https://doi.org/10.1007/978-3-031-28180-8</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-10-19T15:40:25Z
2024-10-19T15:40:25Z
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/>
Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521002
2024-10-19T15:40:25Z
2024-10-19T15:40:25Z
Yazar Pertusa, Antonio. editor. Gallego, Antonio Javier. editor. Sánchez, Joan Andreu. editor. Domingues, Inês. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521002.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-36616-1">https://doi.org/10.1007/978-3-031-36616-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521275
2024-10-19T15:40:25Z
2024-10-19T15:40:25Z
Yazar Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521275.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521289
2024-10-19T15:40:25Z
2024-10-19T15:40:25Z
Yazar Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)<br/>Yer Numarası XX(521289.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-28244-7">https://doi.org/10.1007/978-3-031-28244-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521324
2024-10-19T15:40:25Z
2024-10-19T15:40:25Z
Yazar Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521324.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>