Limit Search Results
Author
Suppes, Patrick, 1922-
(3)
Arruda, A. I. (Ayda Ignez)
(2)
Association for Symbolic Logic.
(2)
Chuaqui, R.
(2)
Costa, Newton C. A. da.
(2)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical -- Congresses.
(25)
Logic programming -- Congresses.
(9)
Logische Programmierung.
(6)
Science -- Philosophy -- Congresses.
(6)
Kongreß.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
48 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Logic programming proceedings of the 1997 International Symposium
Logic programming proceedings of the 1997 International Symposium
Author 
Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
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:
16. 
Cover image for Logic programming proceedings of the 1995 international symposium
Logic programming proceedings of the 1995 international symposium
Author 
Lloyd, J. W. (John Wylie)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
Author 
International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444893413
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
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:
19. 
Cover image for Logic programming and non-monotonic reasoning proceedings of the second international workshop
Logic programming and non-monotonic reasoning proceedings of the second international workshop
Author 
Pereira, Luís Moniz. Nerode, Anil, 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Logic programming proceedings of the Tenth International Conference on Logic Programming
Logic programming proceedings of the Tenth International Conference on Logic Programming
Author 
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Türkiye I. Felsefe Mantık Bilim Tarihi Sempozyumu bildirileri : 19-21 Kasım 1986, Ankara
Türkiye I. Felsefe Mantık Bilim Tarihi Sempozyumu bildirileri : 19-21 Kasım 1986, Ankara
Author 
Türkiye Felsefe Mantık Bilim Tarihi Sempozyumu (1st : 1986 : Ankara, Turkey) Görsoy, Kenan. Ankara Üniversitesi.
Preferred Shelf Number 
B20 T87 1991
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
22. 
Cover image for Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
Author 
Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444880222
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Author 
Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874559
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987
Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987
Author 
International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444705204
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action