Limit Search Results
Author
Language
Subject
Shelf Location
Library
Switch to list view
Switch to thumbnail view
18 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for The logic of knowledge bases
The logic of knowledge bases
Author 
Levesque, Hector J., 1951- Lakemeyer, Gerhard.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for VHDL coding and logic synthesis with Synopsys
VHDL coding and logic synthesis with Synopsys
Author 
Lee, Weng Fook.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124406513
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
Author 
Akay, Metin. IEEE Engineering in Medicine and Biology Society.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic programming proceedings of the 1999 International Conference on Logic Programming
Logic programming proceedings of the 1999 International Conference on Logic Programming
Author 
International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for From Peirce to Skolem a neglected chapter in the history of logic
From Peirce to Skolem a neglected chapter in the history of logic
Author 
Brady, Geraldine.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444503343
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Between Logic and Intuition Essays in Honor of Charles Parsons
Between Logic and Intuition Essays in Honor of Charles Parsons
Author 
Sher, Gila. Tieszen, Richard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logic-based methods for optimization combining optimization and constraint satisfaction
Logic-based methods for optimization combining optimization and constraint satisfaction
Author 
Hooker, John, 1949- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/99088732.html
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Learning to reason an introduction to logic, sets and relations
Learning to reason an introduction to logic, sets and relations
Author 
Rodgers, Nancy, 1941-
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html
ebrary http://site.ebrary.com/id/10500922
http://site.ebrary.com/lib/alltitles/Doc?id=10500922
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Pluralism against the demand for consensus
Pluralism against the demand for consensus
Author 
Rescher, Nicholas.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198236016.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Theory of relations
Theory of relations
Author 
Fraïssé, Roland.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505422
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computable structures and the hyperarithmetical hierarchy
Computable structures and the hyperarithmetical hierarchy
Author 
Ash, C. J. Knight, J. (Julia)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444500724
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets