Arama Sonuçları First-order logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFirst-order$002blogic.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-22T04:18:25ZLogic in Computer Scienceent://SD_ILS/0/SD_ILS:6069092026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-9816-2">https://doi.org/10.1007/978-981-97-9816-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logicent://SD_ILS/0/SD_ILS:6098452026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Abe, Jair Minoro. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-97810-4">https://doi.org/10.1007/978-3-031-97810-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>R-Calculus, VI: Finite Injury Priority Methodent://SD_ILS/0/SD_ILS:6057852026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-5830-2">https://doi.org/10.1007/978-981-97-5830-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:6081682026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concise Guide to Software Verification From Model Checking to Annotation Checkingent://SD_ILS/0/SD_ILS:5205252026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-22T04:18:25Z2026-03-22T04:18:25ZYazar Polkowski, Lech T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-22T04:18:25Z2026-03-22T04:18:25ZYazar Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212092026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discovery Science 26th International Conference, DS 2023, Porto, Portugal, October 9-11, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212282026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Bifet, Albert. editor. Lorena, Ana Carolina. editor. Ribeiro, Rita P. editor. Gama, João. editor. Abreu, Pedro H. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Infoselves : the value of online identityent://SD_ILS/0/SD_ILS:5963612026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Garbaşevschi, Demetra, author.<br/>Yer Numarası HM851 .G349 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119642312">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119642312</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Website design and development with HTML5 and CSS3ent://SD_ILS/0/SD_ILS:5973612026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Rebah, Hassen Ben, author. Boukthir, Hafedh, author. Chédebois, Antoine, author.<br/>Yer Numarası TK5105.888 .R433 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885122">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885122</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application of graph rewriting to natural language processingent://SD_ILS/0/SD_ILS:5944912026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.<br/>Yer Numarası P98<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexityent://SD_ILS/0/SD_ILS:6163212026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Zeume, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-54314-6">https://doi.org/10.1007/978-3-662-54314-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6132752026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fuzzy Logic of Quasi-Truth: An Algebraic Treatmentent://SD_ILS/0/SD_ILS:6134012026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Di Nola, Antonio. author. Grigolia, Revaz. author. Turunen, Esko. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30406-9">https://doi.org/10.1007/978-3-319-30406-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Decision Procedures An Algorithmic Point of Viewent://SD_ILS/0/SD_ILS:6151752026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-50497-0">https://doi.org/10.1007/978-3-662-50497-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-22T04:18:25Z2026-03-22T04:18:25ZYazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-22T04:18:25Z2026-03-22T04:18:25ZYazar Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191352026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-22T04:18:25Z2026-03-22T04:18:25ZYazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014ent://SD_ILS/0/SD_ILS:5297332026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Kamalakannan, C. editor. Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proof theory : sequent calculi and related formalismsent://SD_ILS/0/SD_ILS:5467332026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Bimbo, Katalin, 1963, author.<br/>Yer Numarası QA9.54 .B55 2015<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781466564688">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The logician and the engineer : how George Boole and Claude Shannon created the information ageent://SD_ILS/0/SD_ILS:3767782026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Nahin, Paul J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.cttq957s">http://www.jstor.org/stable/10.2307/j.cttq957s</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Independence-Friendly Logic A Game-Theoretic Approachent://SD_ILS/0/SD_ILS:2374142026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511981418">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Simple Theories and Hyperimaginariesent://SD_ILS/0/SD_ILS:2374352026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Casanovas, Enrique.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9781139003728">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of physical design and query compilationent://SD_ILS/0/SD_ILS:2791822026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Toman, David. Weddell, Grant E. (Grant Edwin), 1954-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical labyrinthsent://SD_ILS/0/SD_ILS:5386172026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Smullyan, Raymond M., author.<br/>Yer Numarası QA9 .S575 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439865378">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Dependence Logic A New Approach to Independence Friendly Logicent://SD_ILS/0/SD_ILS:2372222026-03-22T04:18:25Z2026-03-22T04:18:25ZYazar Väänänen, Jouko.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511611193">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>