Limit Search Results
Author
SpringerLink (Online service)
(338)
Voronkov, Andrei. editor.
(10)
Gabbay, Dov M., 1945-
(6)
Croitoru, Madalina. editor.
(5)
Project Muse.
(5)
Language
Publication Date
-
Subject
Artificial intelligence.
(137)
Computer science.
(94)
Software engineering.
(40)
Logic design.
(35)
Information systems.
(34)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
468 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Handbook of Practical Logic and Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
Author 
Harrison, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Case-Based Reasoning on Images and Signals
Case-Based Reasoning on Images and Signals
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73180-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Rippling: Meta-Level Guidance for Mathematical Reasoning
Rippling: Meta-Level Guidance for Mathematical Reasoning
Author 
Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Visualization, Explanation and Reasoning Styles in Mathematics
Visualization, Explanation and Reasoning Styles in Mathematics
Author 
Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3335-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Constraint Satisfaction Techniques for Agent-Based Reasoning
Constraint Satisfaction Techniques for Agent-Based Reasoning
Author 
Neagu, Nicoleta. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137139
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Handbook of temporal reasoning in artificial intelligence
Handbook of temporal reasoning in artificial intelligence
Author 
Fisher, Michael, 1962- Gabbay, Dov M., 1945- Vila, L. (Lluis)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444514936
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Transfer of learning cognition, instruction, and reasoning
Transfer of learning cognition, instruction, and reasoning
Author 
Haskell, Robert E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123305954
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Mental models in discourse processing and reasoning
Mental models in discourse processing and reasoning
Author 
Rickheit, Gert. Habel, Christopher.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444502742
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Intelligence, mind, and reasoning structure and development
Intelligence, mind, and reasoning structure and development
Author 
Demetriou, Andreas. Efklides, Anastasia.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444897145
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for The hands-on guide to clinical reasoning in medicine
The hands-on guide to clinical reasoning in medicine
Author 
Irfan, Mujammil, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Symbolic projection for image information retrieval and spatial reasoning
Symbolic projection for image information retrieval and spatial reasoning
Author 
Chang, S. K. (Shi Kuo), 1944- Jungert, Erland.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780121680305
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520259.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action