Search Results for Predicate (Logic) - Narrowed by: English
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPredicate$002b$002528Logic$002529$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ps$003d300?
2026-03-10T23:14:21Z
Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic
ent://SD_ILS/0/SD_ILS:205731
2026-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Rini, Adriane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Model theory for model logic : kripke models for modal predicate calculi
ent://SD_ILS/0/SD_ILS:46058
2026-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Bowen, Kenneth A.<br/>Preferred Shelf Number QA 9.46 B68 1979<br/>Format: Books<br/>Availability Beytepe Library~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-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
ent://SD_ILS/0/SD_ILS:520574
2026-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Neuro Symbolic Reasoning and Learning
ent://SD_ILS/0/SD_ILS:520609
2026-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521209
2026-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 1
ent://SD_ILS/0/SD_ILS:530378
2026-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Jain, Lakhmi C. editor. Patnaik, Srikanta. editor. Ichalkaranje, Nikhil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Schaum's outline of theory and problems of logic
ent://SD_ILS/0/SD_ILS:293959
2026-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-outline-logic">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic based on Schaum's Outline of theory and problems of logic
ent://SD_ILS/0/SD_ILS:293904
2026-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-easy-outline-logic">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic demystified
ent://SD_ILS/0/SD_ILS:294115
2026-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Boutelle, Anthony. Gibilisco, Stan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Truth and words
ent://SD_ILS/0/SD_ILS:312816
2026-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Ebbs, Gary.<br/>Preferred Shelf Number BC171 E23 2009<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Computational intelligence for decision support
ent://SD_ILS/0/SD_ILS:541561
2026-03-10T23:14:21Z
2026-03-10T23:14:21Z
Author Chen, Zhengxin.<br/>Preferred Shelf Number T58.62 .C33 1999<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>