Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(137)
Project Muse.
(4)
Bouchon-Meunier, Bernadette. editor.
(3)
Laurent, Anne. editor.
(3)
Strauss, Olivier. editor.
(3)
Dil
Konu
Computer logic.
(88)
Mathematical logic.
(76)
Software engineering.
(65)
Artificial intelligence.
(45)
Programming languages (Electronic computers).
(44)
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ç
187 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Computational logic için kapak resmi
Computational logic
Yer Numarası 
ONLINE(355347.1)
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516244
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. 
Logic in games için kapak resmi
Logic in games
Yazar 
Benthem, Johan van, 1949- IEEE Xplore (Online Service), distributor. MIT Press, publisher.
Yer Numarası 
ONLINE(364947.1)
Elektronik Erişim 
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
The Bloomsbury companion to philosophical logic için kapak resmi
The Bloomsbury companion to philosophical logic
Yazar 
Horsten, Leon. Pettigrew, Richard.
Yer Numarası 
BC71 B583 2014
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
11. 
The rise of modern logic from Leibniz to Frege için kapak resmi
The rise of modern logic from Leibniz to Frege
Yazar 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
The technique of controversy : principles of dynamic logic için kapak resmi
The technique of controversy : principles of dynamic logic
Yazar 
Bogoslovsky, Boris Basil, 1890-
Yer Numarası 
BC 108 B65 1928 (SET)
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç