Limit Search Results
Author
SpringerLink (Online service)
(338)
Voronkov, Andrei. editor.
(10)
Gabbay, Dov M., 1945-
(6)
Pietarinen, Ahti-Veikko, contributor.
(6)
Blair, J. Anthony, contributor.
(5)
Language
Publication Date
-
Subject
Artificial intelligence.
(137)
Computer science.
(94)
Reasoning.
(53)
Software engineering.
(40)
Logic design.
(35)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
579 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Qualitative reasoning about physical systems
Qualitative reasoning about physical systems
Author 
Bobrow, Daniel G. (Daniel Gureasko), 1935-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876706
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for A history of economic reasoning
A history of economic reasoning
Author 
Pribram, Karl, 1877-1973.
Preferred Shelf Number 
HB 75 P735 1983
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Logic : the study of deductive reasoning
Logic : the study of deductive reasoning
Author 
Yıldırım, Cemal.
Preferred Shelf Number 
BC 71 Y51 1973
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Biochemical reasoning : numerical examples for students
Biochemical reasoning : numerical examples for students
Author 
Kerridge, David, ed. Tipton, Keith F., ed.
Preferred Shelf Number 
QU 25 BIO 1972
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
5. 
Cover image for An introduction to legal reasoning
An introduction to legal reasoning
Author 
Levi, Edward H.
Preferred Shelf Number 
KF425 L48 1949
Format: 
Availability 
Law Library~1
Available:
Copies:
6. 
Cover image for Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
Author 
Liò, Pietro. editor. Zuliani, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17297-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Reasoning : the neuroscience of how we think
Reasoning : the neuroscience of how we think
Author 
Krawczyk, Daniel, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128092859
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Workflow Modeling Assistance by Case-based Reasoning
Workflow Modeling Assistance by Case-based Reasoning
Author 
Müller, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-23559-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computational Approaches to Analogical Reasoning: Current Trends
Computational Approaches to Analogical Reasoning: Current Trends
Author 
Prade, Henri. editor. Richard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54516-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Commonsense reasoning an event calculus-based approach
Commonsense reasoning an event calculus-based approach
Author 
Mueller, Erik T., author.
Preferred Shelf Number 
ONLINE(355437.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for A General Framework for Reasoning On Inconsistency
A General Framework for Reasoning On Inconsistency
Author 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332107.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Domain-Level Reasoning for Spoken Dialogue Systems
Domain-Level Reasoning for Spoken Dialogue Systems
Author 
Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9728-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets