Limit Search Results
Author
SpringerLink (Online service)
(2126)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Kacprzyk, Janusz. editor.
(13)
Wiley InterScience (Online service)
(13)
Language
Publication Date
-
Subject
Computer science.
(1244)
Logic design.
(1145)
Software engineering.
(876)
Artificial intelligence.
(653)
Computer Communication Networks.
(299)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
2814 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tense and Tense Logic
Tense and Tense Logic
Author 
Clifford, John E., author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110871036
https://www.degruyter.com/isbn/9783110871036
Cover https://www.degruyter.com/document/cover/isbn/9783110871036/original
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Molecular logic-based computation
Molecular logic-based computation
Author 
Silva, A. Prasanna de.
Preferred Shelf Number 
ONLINE(343059.1)
Electronic Access 
Check for Full Text Access restricted: MSVU users only
Royal Society of Chemistry http://dx.doi.org/10.1039/9781849733021
ebrary http://site.ebrary.com/id/10640412
http://swb.eblib.com/patron/FullRecord.aspx?p=1185759
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic and Integer Programming
Logic and Integer Programming
Author 
Williams, H. Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-92280-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logic design of nanoICs
Logic design of nanoICs
Author 
Yanushkevich, Svetlana N., author. Shmerko, Vlad P. Lyshevski, Sergey Edward.
Preferred Shelf Number 
TK7874.8 .Y36 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logic and information flow
Logic and information flow
Author 
Eijck, J. van (Jan) Visser, Albert.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic IC master reference
Logic IC master reference
Author 
Heiserman, David L., 1940-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123380500
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic, automata, and algorithms
Logic, automata, and algorithms
Author 
Aĭzerman, M. A. (Mark Aronovich), 1913-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120463503
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
Author 
Braüner, Torben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for A grammatical view of logic programming
A grammatical view of logic programming
Author 
Deransart, Pierre. Małuszyński, J. (Jan), 1941-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Gentzen Calculi for Modal Propositional Logic
Gentzen Calculi for Modal Propositional Logic
Author 
Poggiolesi, Francesca. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9670-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Handbook of Philosophical Logic Volume 16
Handbook of Philosophical Logic Volume 16
Author 
Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0479-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Handbook of logic and language
Handbook of logic and language
Author 
Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444817143
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets