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ü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
43 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
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:
21. 
Spectral techniques and fault detection için kapak resmi
Spectral techniques and fault detection
Yazar 
Karpovsky, Mark G. International Workshop on Spectral Techniques and Fault Detection (1983 : Boston, Mass.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124000605
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981 için kapak resmi
Southeast Asian Conference on Logic proceedings of the Logic Conference, Singapore, 1981
Yazar 
Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444867063
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 için kapak resmi
Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Yazar 
International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444854230
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981 için kapak resmi
Proceedings of the Herbrand symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981
Yazar 
Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864178
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: