Limit Search Results
Author
SpringerLink (Online service)
(41)
Ebbinghaus, Heinz-Dieter. editor.
(2)
Hoek, Wiebe.
(2)
Kanamori, Akihiro. editor.
(2)
Zermelo, Ernst. author.
(2)
Language
Publication Date
-
Subject
Logic.
(19)
Artificial intelligence.
(12)
Logic, Symbolic and mathematical.
(12)
Science -- Philosophy.
(7)
Genetic epistemology.
(6)
Switch to list view
Switch to thumbnail view
41 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Reasoning Robots The Art and Science of Programming Robotic Agents
Reasoning Robots The Art and Science of Programming Robotic Agents
Author 
Thielscher, Michael. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3069-X
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Sentiment Analysis for PTSD Signals
Sentiment Analysis for PTSD Signals
Author 
Kagan, Vadim. author. Rossini, Edward. author. Sapounas, Demetrios. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331316.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3097-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic, Thought and Action
Logic, Thought and Action
Author 
Vanderveken, Daniel. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3167-X
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Paraconsistency: Logic and Applications
Paraconsistency: Logic and Applications
Author 
Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335759.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
Author 
Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Information and Knowledge A Constructive Type-theoretical Approach
Information and Knowledge A Constructive Type-theoretical Approach
Author 
Primiero, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6170-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler
Author 
Carnielli, Walter. author. Pizzi, Claudio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8590-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Induction, Algorithmic Learning Theory, and Philosophy
Induction, Algorithmic Learning Theory, and Philosophy
Author 
Friend, Michèle. Goethe, Norma B. Harizanov, Valentina S. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6127-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Dynamic Epistemic Logic
Dynamic Epistemic Logic
Author 
Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5839-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets