Limit Search Results
Author
SpringerLink (Online service)
(10)
Adler, Mortimer Jerome, 1902-
(1)
Agudo, Belén Díaz. editor.
(1)
Bjørner, Nikolaj. editor.
(1)
Bogoslovsky, Boris Basil, 1890-
(1)
Language
Subject
Artificial intelligence.
(8)
Computer science.
(8)
Reasoning.
(6)
Logic design.
(4)
Software engineering.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
33 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
Author 
Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33203-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Author 
Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28717-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Author 
Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29449-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Advances in Reasoning-Based Image Processing Intelligent Systems Conventional and Intelligent Paradigms
Advances in Reasoning-Based Image Processing Intelligent Systems Conventional and Intelligent Paradigms
Author 
Kountchev, Roumen. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24693-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
Author 
Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31365-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Author 
Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for What’s So Good About Biodiversity? A Call for Better Reasoning About Nature’s Value
What’s So Good About Biodiversity? A Call for Better Reasoning About Nature’s Value
Author 
Maier, Donald S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-3991-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Supporting grade 5-8 students in constructing explanations in science : the claim, evidence, and reasoning framework for talk and writing
Supporting grade 5-8 students in constructing explanations in science : the claim, evidence, and reasoning framework for talk and writing
Author 
McNeill, Katherine L. Krajcik, Joseph S.
Preferred Shelf Number 
LB1585 M38 2012
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
21. 
Cover image for The reputational premium : a theory of party identification and policy reasoning
The reputational premium : a theory of party identification and policy reasoning
Author 
Sniderman, Paul M., author. Stiglitz, Edward H., 1980- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7s54x
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Creating consilience integrating the sciences and the humanities
Creating consilience integrating the sciences and the humanities
Author 
Slingerland, Edward G. (Edward Gilman) Collard, Mark.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199794393.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for The technique of controversy : principles of dynamic logic
The technique of controversy : principles of dynamic logic
Author 
Bogoslovsky, Boris Basil, 1890-
Preferred Shelf Number 
BC 108 B65 1928 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
24. 
Cover image for Dialectic
Dialectic
Author 
Adler, Mortimer Jerome, 1902-
Preferred Shelf Number 
BC 177 A4 1927 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies: