Search Results for Predicate (Logic) - Narrowed by: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPredicate$002b$002528Logic$002529$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ic$003dtrue$0026ps$003d300?dt=list2025-03-17T10:27:24ZAristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logicent://SD_ILS/0/SD_ILS:2057312025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor 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 calculient://SD_ILS/0/SD_ILS:460582025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor Bowen, Kenneth A.<br/>Preferred Shelf Number QA 9.46 B68 1979<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical Foundations of Software Engineering A Practical Guide to Essentialsent://SD_ILS/0/SD_ILS:5205742025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor 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 Learningent://SD_ILS/0/SD_ILS:5206092025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor 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, Proceedingsent://SD_ILS/0/SD_ILS:5212092025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor 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/>Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212452025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor 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/>Intelligent Computing, Communication and Devices Proceedings of ICCD 2014, Volume 1ent://SD_ILS/0/SD_ILS:5303782025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:5186322025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor 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/>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, Proceedingsent://SD_ILS/0/SD_ILS:5192372025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor 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/>Logic based on Schaum's Outline of theory and problems of logicent://SD_ILS/0/SD_ILS:2939042025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor 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 demystifiedent://SD_ILS/0/SD_ILS:2941152025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor 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/>Schaum's outline of theory and problems of logicent://SD_ILS/0/SD_ILS:2939592025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor 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 from a Rhetorical Point of Viewent://SD_ILS/0/SD_ILS:5316382025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor Marciszewski, Witold, author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110886627">https://doi.org/10.1515/9783110886627</a>
<a href="https://www.degruyter.com/isbn/9783110886627">https://www.degruyter.com/isbn/9783110886627</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110886627/original">https://www.degruyter.com/document/cover/isbn/9783110886627/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Truth and wordsent://SD_ILS/0/SD_ILS:3128162025-03-17T10:27:24Z2025-03-17T10:27:24ZAuthor Ebbs, Gary.<br/>Preferred Shelf Number BC171 E23 2009<br/>Format: Books<br/>Availability Beytepe Library~1<br/>