Limit Search Results
Author
SpringerLink (Online service)
(2011)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Wiley InterScience (Online service)
(13)
Gabbay, Dov M., 1945-
(12)
Language
Publication Date
-
Subject
Computer science.
(1243)
Logic design.
(1139)
Software engineering.
(874)
Artificial intelligence.
(605)
Computer Communication Networks.
(294)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
2536 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Computability, complexity, logic
Computability, complexity, logic
Author 
Börger, E. (Egon), 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Ancient formal logic
Ancient formal logic
Author 
Bochenski, Joseph M., 1902-1995.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533678
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Logic and Structure
Logic and Structure
Author 
Dalen, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331010.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4558-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Logic the basics
Logic the basics
Author 
Beall, J. C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Philosophy of logic
Philosophy of logic
Author 
Jacquette, Dale.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444515414
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Digital logic design
Digital logic design
Author 
Holdsworth, B. (Brian) Woods, R. C. (R. Clive)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750645829
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Advanced Logic Synthesis
Advanced Logic Synthesis
Author 
Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67295-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Logic in games
Logic in games
Author 
Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Preferred Shelf Number 
ONLINE(364947.1)
Electronic Access 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Synchronous precharge logic
Synchronous precharge logic
Author 
Smoszna, Marek.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123985279
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Introduction to logic
Introduction to logic
Author 
Gensler, Harry J., 1945-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Programmable logic controllers
Programmable logic controllers
Author 
Bolton, W. (William), 1933-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781856177511
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Stochastic Coalgebraic Logic
Stochastic Coalgebraic Logic
Author 
Doberkat, Ernst-Erich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02995-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action