Limit Search Results
Author
SpringerLink (Online service)
(34)
Schlechta, Karl. author.
(4)
Gabbay, Dov M. author.
(3)
Aiello, Marco.
(1)
Andrew, Alex M. author.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
34 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
Author 
Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89653-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Author 
Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89650-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logics for Computer Science Classical and Non-Classical
Logics for Computer Science Classical and Non-Classical
Author 
Wasilewska, Anita. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92591-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logical Foundations of Cyber-Physical Systems
Logical Foundations of Cyber-Physical Systems
Author 
Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63588-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Belief Revision in Non-Classical Logics
Belief Revision in Non-Classical Logics
Author 
Ribeiro, Márcio Moretto. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330925.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4186-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Reactive Kripke Semantics
Reactive Kripke Semantics
Author 
Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335100.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for The Complexity of Valued Constraint Satisfaction Problems
The Complexity of Valued Constraint Satisfaction Problems
Author 
Živný, Stanislav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33974-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Author 
Kaiser, Łukasz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22807-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
Author 
Indrzejczak, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-8785-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for A Missing Link in Cybernetics Logic and Continuity
A Missing Link in Cybernetics Logic and Continuity
Author 
Andrew, Alex M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75164-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Algorithms in Invariant Theory
Algorithms in Invariant Theory
Author 
Sturmfels, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-211-77417-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Author 
Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11874683
Format: 
Availability 
Online Library~1
Available:
Copies: