Limit Search Results
Author
ACM Special Interest Group for Automata and Computability Theory.
(1)
Apt, Krzysztof R., 1949-
(1)
Association for Symbolic Logic.
(1)
Aït-Kaci, Hassan, 1954-
(1)
Bakker, J. W. de (Jacobus Willem), 1939-
(1)
Language
Publication Date
-
Subject
programmation en logique.
(11)
Logic programming.
(5)
Logic, Symbolic and mathematical.
(5)
Logisch programmeren.
(5)
Logic programming -- Congresses.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
28 Results Found Subscribe to search results
0000DEFAULT
Print
25. 
Cover image for Spectral techniques and fault detection
Spectral techniques and fault detection
Author 
Karpovsky, Mark G. International Workshop on Spectral Techniques and Fault Detection (1983 : Boston, Mass.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124000605
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Algorithmic program debugging
Algorithmic program debugging
Author 
Shapiro, Ehud Y.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Author 
Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Logic in algebraic form Three languages and theories
Logic in algebraic form Three languages and theories
Author 
Craig, William, 1918-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets