Limit Search Results
Author
SpringerLink (Online service)
(50)
Ebbinghaus, Heinz-Dieter. editor.
(2)
Hoek, Wiebe.
(2)
Kanamori, Akihiro. editor.
(2)
Zermelo, Ernst. author.
(2)
Language
Publication Date
-
Subject
Computer science.
(41)
Logic.
(19)
Artificial intelligence.
(13)
Logic, Symbolic and mathematical.
(12)
Genetic epistemology.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
50 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Resistance, Liberation Technology and Human Rights in the Digital Age
Resistance, Liberation Technology and Human Rights in the Digital Age
Author 
Ziccardi, Giovanni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335936.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5276-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Author 
Geldsetzer, Lutz. author. Schwartz, Richard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335941.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5301-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Bayesian Argumentation The practical side of probability
Bayesian Argumentation The practical side of probability
Author 
Zenker, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335956.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5357-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for The Argument of Mathematics
The Argument of Mathematics
Author 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6534-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for MATLAB for Psychologists
MATLAB for Psychologists
Author 
Borgo, Mauro. author. Soranzo, Alessandro. author. Grassi, Massimo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2197-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Second Generation Biometrics: The Ethical, Legal and Social Context
Second Generation Biometrics: The Ethical, Legal and Social Context
Author 
Mordini, Emilio. editor. Tzovaras, Dimitros. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-3892-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Truth and Falsehood An Inquiry into Generalized Logical Values
Truth and Falsehood An Inquiry into Generalized Logical Values
Author 
Shramko, Yaroslav. author. Wansing, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0907-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Human Modelling in Assisted Transportation Models, Tools and Risk Methods
Human Modelling in Assisted Transportation Models, Tools and Risk Methods
Author 
Cacciabue, P. Carlo. editor. Hjälmdahl, Magnus. editor. Luedtke, Andreas. editor. Riccioli, Costanza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1821-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
Author 
Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Probabilistic Logics and Probabilistic Networks
Probabilistic Logics and Probabilistic Networks
Author 
Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0008-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Dynamic Formal Epistemology
Dynamic Formal Epistemology
Author 
Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0074-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Proof, Computation and Agency Logic at the Crossroads
Proof, Computation and Agency Logic at the Crossroads
Author 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0080-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action