Arama Sonuçları Predicate (Logic)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dPredicate$002b$002528Logic$002529$0026ps$003d300$0026isd$003dtrue?
2026-04-26T08:36:22Z
Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic
ent://SD_ILS/0/SD_ILS:205731
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Rini, Adriane. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-0050-5">http://dx.doi.org/10.1007/978-94-007-0050-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Model theory for model logic : kripke models for modal predicate calculi
ent://SD_ILS/0/SD_ILS:46058
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Bowen, Kenneth A.<br/>Yer Numarası QA 9.46 B68 1979<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Logic in Computer Science
ent://SD_ILS/0/SD_ILS:606909
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-9816-2">https://doi.org/10.1007/978-981-97-9816-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:608168
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applications of Advanced Electromagnetics Microwave Components and Systems
ent://SD_ILS/0/SD_ILS:606800
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Kouzaev, Guennadi A. author. (orcid)0000-0002-1633-2961 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-73892-0">https://doi.org/10.1007/978-3-031-73892-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
ent://SD_ILS/0/SD_ILS:520574
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521209
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-44267-4">https://doi.org/10.1007/978-3-031-44267-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521245
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45784-5">https://doi.org/10.1007/978-3-031-45784-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Neuro Symbolic Reasoning and Learning
ent://SD_ILS/0/SD_ILS:520609
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-39179-8">https://doi.org/10.1007/978-3-031-39179-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Artificial Intelligence
ent://SD_ILS/0/SD_ILS:612160
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Ertel, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-58487-4">https://doi.org/10.1007/978-3-319-58487-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612296
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63342-8">https://doi.org/10.1007/978-3-319-63342-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
ent://SD_ILS/0/SD_ILS:617536
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
ent://SD_ILS/0/SD_ILS:613401
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Di Nola, Antonio. author. Grigolia, Revaz. author. Turunen, Esko. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30406-9">https://doi.org/10.1007/978-3-319-30406-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Principles of Noology Toward a Theory and Science of Intelligence
ent://SD_ILS/0/SD_ILS:613024
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Ho, Seng-Beng. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-32113-4">https://doi.org/10.1007/978-3-319-32113-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
ent://SD_ILS/0/SD_ILS:617503
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar O'Regan, Gerard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 1
ent://SD_ILS/0/SD_ILS:530378
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Jain, Lakhmi C. editor. Patnaik, Srikanta. editor. Ichalkaranje, Nikhil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-81-322-2012-1">https://doi.org/10.1007/978-81-322-2012-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518632
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19237-6">https://doi.org/10.1007/978-3-319-19237-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519237
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Vitek, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic demystified
ent://SD_ILS/0/SD_ILS:294115
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Boutelle, Anthony. Gibilisco, Stan.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Schaum's outline of theory and problems of logic
ent://SD_ILS/0/SD_ILS:293959
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/schaums-outline-logic">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic based on Schaum's Outline of theory and problems of logic
ent://SD_ILS/0/SD_ILS:293904
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://mhebooklibrary.com/reader/schaums-easy-outline-logic">Subscription required</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Truth and words
ent://SD_ILS/0/SD_ILS:312816
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Ebbs, Gary.<br/>Yer Numarası BC171 E23 2009<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Computational intelligence for decision support
ent://SD_ILS/0/SD_ILS:541561
2026-04-26T08:36:22Z
2026-04-26T08:36:22Z
Yazar Chen, Zhengxin.<br/>Yer Numarası T58.62 .C33 1999<br/>Elektronik Erişim Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420049145">https://www.taylorfrancis.com/books/9781420049145</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367802158">https://www.taylorfrancis.com/books/9780367802158</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>