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
13. 
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:
14. 
Cover image for The Reality of the Artificial Nature, Technology and Naturoids
The Reality of the Artificial Nature, Technology and Naturoids
Author 
Negrotti, Massimo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29679-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence
Social Understanding On Hermeneutics, Geometrical Models and Artificial Intelligence
Author 
Klüver, Jürgen. author. Klüver, Christina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9911-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties
Author 
Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89650-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size
Author 
Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89653-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Semantic Web Technologies and Legal Scholarly Publishing
Semantic Web Technologies and Legal Scholarly Publishing
Author 
Peroni, Silvio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04777-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for On computing the fourth great scientific domain
On computing the fourth great scientific domain
Author 
Rosenbloom, Paul S.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451064
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333036.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Models for Intercultural Collaboration and Negotiation
Models for Intercultural Collaboration and Negotiation
Author 
Sycara, Katia. editor. Gelfand, Michele. editor. Abbe, Allison. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336008.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5574-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Agreement Technologies
Agreement Technologies
Author 
Ossowski, Sascha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336009.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5583-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for The Secure Information Society Ethical, Legal and Political Challenges
The Secure Information Society Ethical, Legal and Political Challenges
Author 
Krüger, Jörg. editor. Nickolay, Bertram. editor. Gaycken, Sandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331051.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4763-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Reproduction of Tactual Textures Transducers, Mechanics and Signal Encoding
Reproduction of Tactual Textures Transducers, Mechanics and Signal Encoding
Author 
Wiertlewski, Michaël. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331074.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4841-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action