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
00000DEFAULT
Print
37. 
Cover image for Handbook of Philosophical Logic
Handbook of Philosophical Logic
Author 
Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6324-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for HCI related papers of Interacción 2004
HCI related papers of Interacción 2004
Author 
Navarro-Prieto, Raquel. editor. Vidal, Jesús Lorés. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4205-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Information, Interaction and Agency
Information, Interaction and Agency
Author 
Hoek, Wiebe. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4094-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
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:
Select an Action