Arama Sonuçlarını Sınırlandır
Yazar
Suppes, Patrick, 1922-
(3)
Arruda, A. I. (Ayda Ignez)
(2)
Association for Symbolic Logic.
(2)
Chuaqui, R.
(2)
Costa, Newton C. A. da.
(2)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical -- Congresses.
(25)
Logic programming -- Congresses.
(9)
Logische Programmierung.
(6)
Science -- Philosophy -- Congresses.
(6)
Kongreß.
(5)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
48 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Logic programming proceedings of the 1997 International Symposium için kapak resmi
Logic programming proceedings of the 1997 International Symposium
Yazar 
Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming için kapak resmi
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Yazar 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Logic programming proceedings of the twelfth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the twelfth International Conference on Logic Programming
Yazar 
Sterling, Leon.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Logic programming proceedings of the 1995 international symposium için kapak resmi
Logic programming proceedings of the 1995 international symposium
Yazar 
Lloyd, J. W. (John Wylie)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Logic programming proceedings of the eleventh International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the eleventh International Conference on Logic Programming
Yazar 
Van Hentenryck, Pascal.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
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 için kapak resmi
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
Yazar 
International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444893413
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Logic programming and non-monotonic reasoning proceedings of the second international workshop için kapak resmi
Logic programming and non-monotonic reasoning proceedings of the second international workshop
Yazar 
Pereira, Luís Moniz. Nerode, Anil, 1932-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic programming proceedings of the Tenth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the Tenth International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Türkiye I. Felsefe Mantık Bilim Tarihi Sempozyumu bildirileri : 19-21 Kasım 1986, Ankara için kapak resmi
Türkiye I. Felsefe Mantık Bilim Tarihi Sempozyumu bildirileri : 19-21 Kasım 1986, Ankara
Yazar 
Türkiye Felsefe Mantık Bilim Tarihi Sempozyumu (1st : 1986 : Ankara, Turkey) Görsoy, Kenan. Ankara Üniversitesi.
Yer Numarası 
B20 T87 1991
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
22. 
Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 için kapak resmi
Logic Colloquium '87 proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
Yazar 
Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444880222
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987 için kapak resmi
Logic, methodology, and philosophy of science VIII proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987
Yazar 
International Congress of Logic, Methodology, and Philosophy of Science (8th : 1987 : Moscow, Russia) Fenstad, Jens Erik. Frolov, Ivan Timofeevich. Hilpinen, Risto.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444705204
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 için kapak resmi
Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Yazar 
Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874559
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: