Limit Search Results
Author
SpringerLink (Online service)
(36)
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
37 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
Author 
Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for New Developments in Formal Languages and Applications
New Developments in Formal Languages and Applications
Author 
Bel-Enguix, Gemma. editor. Jiménez-López, M. Dolores. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78291-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Principles of logic and logic programming
Principles of logic and logic programming
Author 
Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
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 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:
6. 
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:
7. 
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:
8. 
Cover image for Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions
Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions
Author 
Buscema, Paolo Massimo. author. Massini, Giulia. author. Breda, Marco. author. Lodwick, Weldon A. author. Newman, Francis. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75049-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Mathematics of Fuzzy Sets and Fuzzy Logic
Mathematics of Fuzzy Sets and Fuzzy Logic
Author 
Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333950.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35221-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2
Author 
Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334018.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35644-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action