Arama Sonuçları Inference (Logic)

Logic : the theory of formal inference

2024-11-07T18:55:05Z

Yazar Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Yer Numarası BC 108 A55 1972
Format: Kitap
Durum Beytepe Kütüphanesi~1

Formal logic, or, The calculus of inference, necessary and probable

2024-11-07T18:55:05Z

Yazar De Morgan, Augustus, 1806-1871, author.
Yer Numarası BC135 D4 2014
Format: Kitap
Durum Beytepe Kütüphanesi~1

Between Logic and Reality Modeling Inference, Action and Understanding

2024-11-07T18:55:05Z

Yazar Trobok, Majda. editor. Miščević, Nenad. editor. Žarnić, Berislav. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-2390-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probabilistic Logic Networks A Comprehensive Framework for Uncertain Inference

2024-11-07T18:55:05Z

Yazar Goertzel, Ben. author. Iklé, Matthew. author. Goertzel, Izabela Freire. author. Heljakka, Ari. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-76872-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of the logic of argument and inference the turn towards the practical

2024-11-07T18:55:05Z

Yazar Gabbay, Dov M., 1945-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methods of inference from animal to human behaviour

2024-11-07T18:55:05Z

Yazar Conference on the logic of I'nference from animal to human behavior : (1973 : Murten, Switzerland) Cranach, Mario von, ed.
Yer Numarası BF 671 C63 1976
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2024-11-07T18:55:05Z

Yazar Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Yer Numarası XX(520735.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-8296-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I

2024-11-07T18:55:05Z

Yazar Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.
Yer Numarası XX(520368.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-28180-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-07T18:55:05Z

Yazar Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Yer Numarası XX(520898.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-27181-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

2024-11-07T18:55:05Z

Yazar Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Yer Numarası XX(521275.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47115-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition and Image Analysis 11th Iberian Conference, IbPRIA 2023, Alicante, Spain, June 27-30, 2023, Proceedings

2024-11-07T18:55:05Z

Yazar Pertusa, Antonio. editor. Gallego, Antonio Javier. editor. Sánchez, Joan Andreu. editor. Domingues, Inês. editor. SpringerLink (Online service)
Yer Numarası XX(521002.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-36616-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-07T18:55:05Z

Yazar Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Yer Numarası XX(521170.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-44216-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I

2024-11-07T18:55:05Z

Yazar Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)
Yer Numarası XX(521289.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-28244-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

2024-11-07T18:55:05Z

Yazar Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası XX(521324.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-7584-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

2024-11-07T18:55:05Z

Yazar Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası XX(519146.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46823-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

2024-11-07T18:55:05Z

Yazar Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Yer Numarası XX(518878.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21365-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

2024-11-07T18:55:05Z

Yazar Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası XX(519014.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15579-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I

2024-11-07T18:55:05Z

Yazar Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası XX(519079.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-18111-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2024-11-07T18:55:05Z

Yazar Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)
Yer Numarası XX(518980.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19282-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-11-07T18:55:05Z

Yazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Yer Numarası XX(519293.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23264-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

2024-11-07T18:55:05Z

Yazar Pontelli, Enrico. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası XX(518922.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19686-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy logic and hydrological modeling

2024-11-07T18:55:05Z

Yazar ?en, Zekí.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Induction : processes of inference, learning, and discovery

2024-11-07T18:55:05Z

Yazar Holland, John Henry, 1929-
Yer Numarası BF 441 I53 1986
Format: Kitap
Durum Beytepe Kütüphanesi~1