Limit Search Results
Author
Ebbinghaus, Heinz-Dieter. editor.
(2)
Hoek, Wiebe.
(2)
Kanamori, Akihiro. editor.
(2)
Zermelo, Ernst. author.
(2)
Abbe, Allison. editor.
(1)
Language
Publication Date
-
Subject
Computer science.
(41)
Logic.
(19)
Artificial intelligence.
(12)
Logic, Symbolic and mathematical.
(12)
Science -- Philosophy.
(7)
Library
Switch to list view
Switch to thumbnail view
Select an Action
41 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
Cover image for Affective Computing and Sentiment Analysis Emotion, Metaphor and Terminology
Affective Computing and Sentiment Analysis Emotion, Metaphor and Terminology
Author 
Ahmad, Khurshid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1757-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Klüger als wir? Auf dem Weg zur Hyperintelligenz
Klüger als wir? Auf dem Weg zur Hyperintelligenz
Author 
Grüter, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2649-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Wa(h)re Freunde Wie sich unsere Beziehungen in sozialen Online-Netzwerken verändern
Wa(h)re Freunde Wie sich unsere Beziehungen in sozialen Online-Netzwerken verändern
Author 
Wanhoff, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2784-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
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:
23. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79384-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Die Collective Mind Methode Projekterfolg durch Soft Skills
Die Collective Mind Methode Projekterfolg durch Soft Skills
Author 
Köhler, Jens. author. Oswald, Alfred. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00108-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action