Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(152)
Dompere, Kofi Kissi. author.
(3)
Carnap, Rudolf, 1891-1970.
(2)
Chen, Jianer. editor.
(2)
Gabbay, Dov M., 1945-
(2)
Dil
Konu
Computer science.
(110)
Logic design.
(99)
Software engineering.
(55)
Artificial intelligence.
(38)
Logic, Symbolic and mathematical.
(37)
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ç
197 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Logic Colloquium 2006 için kapak resmi
Logic Colloquium 2006
Yazar 
Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Introduction to logic için kapak resmi
Introduction to logic
Yazar 
Suppes, Patrick Colonel, 1922-
Yer Numarası 
BC 108 S85 1957
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Stochastic Coalgebraic Logic için kapak resmi
Stochastic Coalgebraic Logic
Yazar 
Doberkat, Ernst-Erich. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02995-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Programmable logic controllers için kapak resmi
Programmable logic controllers
Yazar 
Bolton, W. (William), 1933-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781856177511
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Advances in modal logic için kapak resmi
Advances in modal logic
Yazar 
Kracht, Marcus, ed.
Yer Numarası 
BC 199.M6 A38 1998- V.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
6. 
The logic of practice için kapak resmi
The logic of practice
Yazar 
Bourdieu, Pierre, 1930-2002
Yer Numarası 
GN 468 B6813 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
Logic and Integer Programming için kapak resmi
Logic and Integer Programming
Yazar 
Williams, H. Paul. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-92280-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Games: Unifying Logic, Language, and Philosophy için kapak resmi
Games: Unifying Logic, Language, and Philosophy
Yazar 
Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Mathematical logic : A course with exercises için kapak resmi
Mathematical logic : A course with exercises
Yazar 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Yer Numarası 
QA 9 C742513 2000 PT.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
10. 
Logic : the theory of formal inference için kapak resmi
Logic : the theory of formal inference
Yazar 
Ambrose, Alice, 1906- Lazerowitz, Morris, ort. yaz.
Yer Numarası 
BC 108 A55 1972
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
11. 
Studies in inductive logic and probability için kapak resmi
Studies in inductive logic and probability
Yazar 
Carnap, Rudolf, 1891-1970. Jeffrey, Richard C., ed.
Yer Numarası 
QA 273.4 C37 1971-
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
12. 
Chance, love and logic : philosophical essays için kapak resmi
Chance, love and logic : philosophical essays
Yazar 
Peirce, Charles Sanders, 1839-1914. Cohen, Morris Raphael, 1880-1947. Dewey, John, 1859-1952.
Yer Numarası 
B 945.P43 C5 1923 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç