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
Switch to list view
Switch to thumbnail view
Select an Action
21 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Louis Couturat -Traité de Logique algorithmique
Louis Couturat -Traité de Logique algorithmique
Author 
Schlaudt, Oliver. editor. Sakhri, Mohsen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-0346-0411-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Elements of mathematical logic (Model theory)
Elements of mathematical logic (Model theory)
Author 
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Author 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for High-performance system design circuits and logic
High-performance system design circuits and logic
Author 
Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Author 
Gregg, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Inductive logic programming from machine learning to software engineering
Inductive logic programming from machine learning to software engineering
Author 
Bergadano, Francesco, 1963- Gunetti, Daniele.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Author 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Logic programming proceedings of the twelfth International Conference on Logic Programming
Logic programming proceedings of the twelfth International Conference on Logic Programming
Author 
Sterling, Leon.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logic programming proceedings of the eleventh International Conference on Logic Programming
Logic programming proceedings of the eleventh International Conference on Logic Programming
Author 
Van Hentenryck, Pascal.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for From logic to logic programming
From logic to logic programming
Author 
Doets, Kees.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic programming languages constraints, functions, and objects
Logic programming languages constraints, functions, and objects
Author 
Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: 
Availability 
Online Library~1
Available:
Copies: