Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2126)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Kacprzyk, Janusz. editor.
(13)
Wiley InterScience (Online service)
(13)
Dil
Yayın Yılı
-
Konu
Computer science.
(1244)
Logic design.
(1153)
Software engineering.
(876)
Artificial intelligence.
(654)
Logic, Symbolic and mathematical.
(317)
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ç
3166 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 için kapak resmi
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Yazar 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 için kapak resmi
Patras Logic Symposion proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
Yazar 
Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864765
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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:
5. 
Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978 için kapak resmi
Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978
Yazar 
Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444853783
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977 için kapak resmi
Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977
Yazar 
Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444851789
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV için kapak resmi
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Yazar 
Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966 için kapak resmi
Contributions to mathematical logic Proceedings of the Logic Colloquium, Hannover 1966
Yazar 
Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534149
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 için kapak resmi
Logic, methodology and philosophy of science IV proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
Yazar 
International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104915
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 için kapak resmi
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Yazar 
Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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:
Eylem Seç