Limit Search Results
Author
SpringerLink (Online service)
(69)
Kizza, Joseph Migga. author.
(3)
Ebbinghaus, Heinz-Dieter. editor.
(2)
Gutwirth, Serge. editor.
(2)
Hoek, Wiebe.
(2)
Language
Publication Date
-
Subject
Philosophy (General).
(41)
Logic.
(24)
Artificial intelligence.
(23)
Logic, Symbolic and mathematical.
(15)
Science -- Philosophy.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
70 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for From Combinatorics to Philosophy
From Combinatorics to Philosophy
Author 
Damiani, Ernesto. editor. D’Antona, Ottavio. editor. Marra, Vincenzo. editor. Palombi, Fabrizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-88753-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
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:
4. 
Cover image for Design, User Experience, and Usability. Design Philosophy, Methods, and Tools Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Design, User Experience, and Usability. Design Philosophy, Methods, and Tools Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334758.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39229-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Author 
Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Interpreted Languages and Compositionality
Interpreted Languages and Compositionality
Author 
Kracht, Marcus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2108-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Science between Europe and Asia Historical Studies on the Transmission, Adoption and Adaptation of Knowledge
Science between Europe and Asia Historical Studies on the Transmission, Adoption and Adaptation of Knowledge
Author 
Günergun, Feza. editor. Raina, Dhruv. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9968-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
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:
11. 
Cover image for Degrees of Belief
Degrees of Belief
Author 
Huber, Franz. editor. Schmidt-Petri, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9198-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action