Search Results for First-order logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFirst-order$002blogic.$0026ps$003d300?2026-03-11T12:45:55ZAutomated 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:5211392026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"ent://SD_ILS/0/SD_ILS:5285462026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Polkowski, Lech T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42034-4">https://doi.org/10.1007/978-3-031-42034-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concise Guide to Software Verification From Model Checking to Annotation Checkingent://SD_ILS/0/SD_ILS:5205252026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212092026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor 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/>Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212282026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.<br/>Preferred Shelf Number ONLINE<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/>Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208232026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Website design and development with HTML5 and CSS3ent://SD_ILS/0/SD_ILS:5973612026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Rebah, Hassen Ben, author. Boukthir, Hafedh, author. Chédebois, Antoine, author.<br/>Preferred Shelf Number TK5105.888 .R433 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885122">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885122</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Infoselves : the value of online identityent://SD_ILS/0/SD_ILS:5963612026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Garbaşevschi, Demetra, author.<br/>Preferred Shelf Number HM851 .G349 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119642312">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119642312</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application of graph rewriting to natural language processingent://SD_ILS/0/SD_ILS:5944912026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.<br/>Preferred Shelf Number P98<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proof theory : sequent calculi and related formalismsent://SD_ILS/0/SD_ILS:5467332026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Bimbo, Katalin, 1963, author.<br/>Preferred Shelf Number QA9.54 .B55 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466564688">Click here to view.</a><br/>Format: Books<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:5191352026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014ent://SD_ILS/0/SD_ILS:5297332026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Kamalakannan, C. editor. Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2119-7">https://doi.org/10.1007/978-81-322-2119-7</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:5187972026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>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:5191612026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191372026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>The logician and the engineer : how George Boole and Claude Shannon created the information ageent://SD_ILS/0/SD_ILS:3767782026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor 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/>Fundamentals of physical design and query compilationent://SD_ILS/0/SD_ILS:2791822026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor 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/>Independence-Friendly Logic A Game-Theoretic Approachent://SD_ILS/0/SD_ILS:2374142026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor 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:2374352026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor 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/>Logical labyrinthsent://SD_ILS/0/SD_ILS:5386172026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor Smullyan, Raymond M., author.<br/>Preferred Shelf Number QA9 .S575 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439865378">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Dependence Logic A New Approach to Independence Friendly Logicent://SD_ILS/0/SD_ILS:2372222026-03-11T12:45:55Z2026-03-11T12:45:55ZAuthor 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/>