Search Results for First-order logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFirst-order$002blogic.$0026ps$003d300$0026isd$003dtrue?2026-02-26T12:54:01ZLogic: 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-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>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:5211392026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212092026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>Infoselves : the value of online identityent://SD_ILS/0/SD_ILS:5963612026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>Website design and development with HTML5 and CSS3ent://SD_ILS/0/SD_ILS:5973612026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>Application of graph rewriting to natural language processingent://SD_ILS/0/SD_ILS:5944912026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014ent://SD_ILS/0/SD_ILS:5297332026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191372026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>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-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191352026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>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-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>Proof theory : sequent calculi and related formalismsent://SD_ILS/0/SD_ILS:5467332026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>The logician and the engineer : how George Boole and Claude Shannon created the information ageent://SD_ILS/0/SD_ILS:3767782026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>Simple Theories and Hyperimaginariesent://SD_ILS/0/SD_ILS:2374352026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>Independence-Friendly Logic A Game-Theoretic Approachent://SD_ILS/0/SD_ILS:2374142026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>Fundamentals of physical design and query compilationent://SD_ILS/0/SD_ILS:2791822026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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:5386172026-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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-02-26T12:54:01Z2026-02-26T12:54:01ZAuthor 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/>