Limit Search Results
Author
SpringerLink (Online service)
(168)
Agrawal, Manindra. editor.
(2)
Ait Ameur, Yamine. editor.
(2)
Bondavalli, Andrea. editor.
(2)
Gheorghe, Marian. editor.
(2)
Language
Subject
Computer science.
(105)
Computer Science Logic and Foundations of Programming.
(100)
Software engineering.
(72)
Formal Languages and Automata Theory.
(68)
Machine theory.
(68)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
171 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic, Reasoning, and Rationality
Logic, Reasoning, and Rationality
by 
Weber, Erik. editor.
https://doi.org/10.1007/978-94-017-9011-6
Format: 
Excerpt: 
Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social
2. 
Cover image for Krister Segerberg on Logic of Actions
Krister Segerberg on Logic of Actions
by 
Trypuz, Robert. editor.
https://doi.org/10.1007/978-94-007-7046-1
Format: 
Excerpt: 
Krister Segerberg on Logic of Actions Trypuz, Robert. editor.
3. 
Cover image for Handbook of Philosophical Logic Volume 17
Handbook of Philosophical Logic Volume 17
by 
Gabbay, Dov M. editor.
https://doi.org/10.1007/978-94-007-6600-6
Format: 
Excerpt: 
Handbook of Philosophical Logic Volume 17 / Gabbay, Dov M. editor.
4. 
Cover image for Recent Trends in Philosophical Logic
Recent Trends in Philosophical Logic
by 
Ciuni, Roberto. editor.
https://doi.org/10.1007/978-3-319-06080-4
Format: 
Excerpt: 
Trends in Logic, Studia Logica Library,
5. 
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.
6. 
Cover image for Non-commutative Multiple-Valued Logic Algebras
Non-commutative Multiple-Valued Logic Algebras
by 
Ciungu, Lavinia Corina. author.
https://doi.org/10.1007/978-3-319-01589-7
Format: 
Excerpt: 
Non-commutative Multiple-Valued Logic Algebras Ciungu, Lavinia Corina. author.
7. 
Cover image for Johan van Benthem on Logic and Information Dynamics
Johan van Benthem on Logic and Information Dynamics
by 
Baltag, Alexandru. editor.
https://doi.org/10.1007/978-3-319-06025-5
Format: 
Excerpt: 
Johan van Benthem on Logic and Information Dynamics Baltag, Alexandru. editor.
8. 
Cover image for Leśniewski's Systems of Logic and Foundations of Mathematics
Leśniewski's Systems of Logic and Foundations of Mathematics
by 
Urbaniak, Rafal. author.
https://doi.org/10.1007/978-3-319-00482-2
Format: 
Excerpt: 
Trends in Logic, Studia Logica Library,
9. 
Cover image for Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics Dialogue, Rationality, and Formalism
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics Dialogue, Rationality, and Formalism
by 
Rebuschi, Manuel. editor.
https://doi.org/10.1007/978-3-319-03044-9
Format: 
Excerpt: 
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics Dialogue, Rationality
10. 
Cover image for Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers
Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers
by 
Miksch, Silvia. editor.
https://doi.org/10.1007/978-3-319-13281-5
Format: 
Excerpt: 
the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers / Miksch
11. 
Cover image for Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
by 
Klein, Gerwin. editor.
https://doi.org/10.1007/978-3-319-08970-6
Format: 
Excerpt: 
Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / Klein, Gerwin. editor.
12. 
Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
by 
Codish, Michael. editor.
https://doi.org/10.1007/978-3-319-07151-0
Format: 
Excerpt: 
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4