Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Engines of logic : mathematicians and the origin of the computer
Engines of logic : mathematicians and the origin of the computer
Author 
Davis, Martin.
Preferred Shelf Number 
QA76.5 D38 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Dynamic logic
Dynamic logic
Author 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computational intelligence for decision support
Computational intelligence for decision support
Author 
Chen, Zhengxin.
Preferred Shelf Number 
T58.62 .C33 1999
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781420049145
Taylor & Francis https://www.taylorfrancis.com/books/9780367802158
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies: