Search Results for First-order logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFirst-order$002blogic.$0026ps$003d300?2024-11-06T13:43:25ZConcise Guide to Software Verification From Model Checking to Annotation Checkingent://SD_ILS/0/SD_ILS:5205252024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520525.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30167-4">https://doi.org/10.1007/978-3-031-30167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211392024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521139.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43513-3">https://doi.org/10.1007/978-3-031-43513-3</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:5212092024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521209.1)<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 and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208232024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520823.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26689-8">https://doi.org/10.1007/978-3-031-26689-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212282024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.<br/>Preferred Shelf Number XX(521228.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45275-8">https://doi.org/10.1007/978-3-031-45275-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5187972024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518797.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20297-6">https://doi.org/10.1007/978-3-319-20297-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191352024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519135.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191372024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519137.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 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:5191612024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(519161.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The logician and the engineer : how George Boole and Claude Shannon created the information ageent://SD_ILS/0/SD_ILS:3767782024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Nahin, Paul J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.cttq957s">http://www.jstor.org/stable/10.2307/j.cttq957s</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Independence-Friendly Logic A Game-Theoretic Approachent://SD_ILS/0/SD_ILS:2374142024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511981418">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simple Theories and Hyperimaginariesent://SD_ILS/0/SD_ILS:2374352024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Casanovas, Enrique.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139003728">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of physical design and query compilationent://SD_ILS/0/SD_ILS:2791822024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Toman, David. Weddell, Grant E. (Grant Edwin), 1954-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440450">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440450</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical labyrinthsent://SD_ILS/0/SD_ILS:2870662024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Smullyan, Raymond M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439865378">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dependence Logic A New Approach to Independence Friendly Logicent://SD_ILS/0/SD_ILS:2372222024-11-06T13:43:25Z2024-11-06T13:43:25ZAuthor Väänänen, Jouko.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511611193">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>