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.
(1147)
Software engineering.
(874)
Artificial intelligence.
(606)
Logic, Symbolic and mathematical.
(314)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2886 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
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:
39. 
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:
40. 
Cover image for Programmable logic controllers
Programmable logic controllers
Author 
Bolton, W. (William), 1933-
Preferred Shelf Number 
TJ223.P76 B65 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
41. 
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:
42. 
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:
43. 
Cover image for Logic in Reality
Logic in Reality
Author 
Brenner, Joseph E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8375-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
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/9780750681124
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Fuzzy Equational Logic
Fuzzy Equational Logic
Author 
Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105121
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Contemporary logic design
Contemporary logic design
Author 
Katz, Randy H., 1955-
Preferred Shelf Number 
TK 7888.4 K36 1994
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
47. 
Cover image for Computability and logic
Computability and logic
Author 
Boolos, George S. Jeffrey, R. C., ort. yaz.
Preferred Shelf Number 
QA 9.59 B66 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
48. 
Cover image for Systems of logic
Systems of logic
Author 
Martin, Norman M.
Preferred Shelf Number 
BC 135 M325 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action