Limit Search Results
Author
SpringerLink (Online service)
(611)
Voronkov, Andrei. editor.
(11)
de Queiroz, Ruy. editor.
(7)
Gabbay, Dov M. author.
(5)
Liu, Zhiming. editor.
(5)
Language
Publication Date
-
2011
(85)
2012
(85)
2013
(68)
2014
(68)
2010
(59)
Subject
Machine theory.
(611)
Computer science.
(514)
Computer Science Logic and Foundations of Programming.
(486)
Software engineering.
(311)
Artificial intelligence.
(261)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
611 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Dynamic Epistemic Logic
Dynamic Epistemic Logic
by 
van Ditmarsch, Hans. author.
https://doi.org/10.1007/978-1-4020-5839-4
Format: 
Excerpt: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
2. 
Cover image for Stochastic Coalgebraic Logic
Stochastic Coalgebraic Logic
by 
Doberkat, Ernst-Erich. author.
https://doi.org/10.1007/978-3-642-02995-0
Format: 
Excerpt: 
Stochastic Coalgebraic Logic Doberkat, Ernst-Erich. author.
3. 
Cover image for Paraconsistency: Logic and Applications
Paraconsistency: Logic and Applications
by 
Tanaka, Koji. editor.
https://doi.org/10.1007/978-94-007-4438-7
Format: 
Excerpt: 
Paraconsistency: Logic and Applications Tanaka, Koji. editor.
4. 
Cover image for Logic: a Brief Course
Logic: a Brief Course
by 
Mundici, Daniele. author.
https://doi.org/10.1007/978-88-470-2361-1
Format: 
Excerpt: 
Logic: a Brief Course Mundici, Daniele. author.
5. 
Cover image for Logic for Computer Scientists
Logic for Computer Scientists
by 
Schöning, Uwe. author.
https://doi.org/10.1007/978-0-8176-4763-6
Format: 
Excerpt: 
Logic for Computer Scientists Schöning, Uwe. author.
6. 
Cover image for Probabilistic Inductive Logic Programming
Probabilistic Inductive Logic Programming
by 
De Raedt, Luc. editor.
https://doi.org/10.1007/978-3-540-78652-8
Format: 
Excerpt: 
Probabilistic Inductive Logic Programming De Raedt, Luc. editor.
7. 
Cover image for Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
by 
Braüner, Torben. author.
https://doi.org/10.1007/978-94-007-0002-4
Format: 
Excerpt: 
Hybrid Logic and its Proof-Theory Braüner, Torben. author.
8. 
Cover image for Handbook of Philosophical Logic Volume 14
Handbook of Philosophical Logic Volume 14
by 
Gabbay, Dov M. editor.
https://doi.org/10.1007/978-1-4020-6324-4
Format: 
Excerpt: 
Handbook of Philosophical Logic Volume 14 / Gabbay, Dov M. editor.
9. 
Cover image for Mathematical Logic Foundations for Information Science
Mathematical Logic Foundations for Information Science
by 
Li, Wei. author.
https://doi.org/10.1007/978-3-0348-0862-0
Format: 
Excerpt: 
Mathematical Logic Foundations for Information Science / Li, Wei. author.
10. 
Cover image for Mathematical Logic Foundations for Information Science
Mathematical Logic Foundations for Information Science
by 
Li, Wei. author.
https://doi.org/10.1007/978-3-7643-9977-1
Format: 
Excerpt: 
Mathematical Logic Foundations for Information Science / Li, Wei. author.
11. 
Cover image for Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
by 
Majer, Ondrej. editor.
https://doi.org/10.1007/978-1-4020-9374-6
Format: 
Excerpt: 
Games: Unifying Logic, Language, and Philosophy Majer, Ondrej. editor.
12. 
Cover image for Cylindric-like Algebras and Algebraic Logic
Cylindric-like Algebras and Algebraic Logic
by 
Andréka, Hajnal. editor.
https://doi.org/10.1007/978-3-642-35025-2
Format: 
Excerpt: 
Cylindric-like Algebras and Algebraic Logic Andréka, Hajnal. editor.
Select an Action