Limit Search Results
Author
Language
Publication Date
-
2013
(13)
2009
(1)
Subject
Artificial Intelligence (incl. Robotics).
(13)
Artificial intelligence.
(13)
Mathematical Logic and Formal Languages.
(12)
Logic design.
(5)
Logics and Meanings of Programs.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
14 Results Found Subscribe to search results
00DEFAULT
Print
13. 
Cover image for Paraconsistency: Logic and Applications
Paraconsistency: Logic and Applications
Author 
Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335759.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Algorithms and theory of computation handbook. Special topics and techniques
Algorithms and theory of computation handbook. Special topics and techniques
Author 
Atallah, Mikhail J. Blanton, Marina.
Preferred Shelf Number 
QA76.9 .A43 A433 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: