Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2011)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Wiley InterScience (Online service)
(13)
Gabbay, Dov M., 1945-
(12)
Dil
Yayın Yılı
-
Konu
Computer science.
(1243)
Logic design.
(1147)
Software engineering.
(874)
Artificial intelligence.
(606)
Logic, Symbolic and mathematical.
(314)
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ç
2887 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
73. 
Introduction to medieval logic için kapak resmi
Introduction to medieval logic
Yazar 
Broadie, Alexander.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198240266.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
The logic of sense için kapak resmi
The logic of sense
Yazar 
Deleuze, Gilles.
Yer Numarası 
B840 D3813 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
75. 
Fundamentals of computer logic için kapak resmi
Fundamentals of computer logic
Yazar 
Hutchison, David.
Yer Numarası 
TK 7888.4 H97 1981
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
76. 
The logic of poetry için kapak resmi
The logic of poetry
Yazar 
Monaco, Richard. Briggs, J., ort. yaz.
Yer Numarası 
PN 1059 M4 M6
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
77. 
Language, logic and god için kapak resmi
Language, logic and god
Yazar 
Ferre, Frederick.
Yer Numarası 
B 824.6 F4 1969
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
78. 
Introduction to mathematical logic için kapak resmi
Introduction to mathematical logic
Yazar 
Mendelson, Elliott.
Yer Numarası 
QA 9 M4 1964
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
79. 
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:
80. 
Logic Programming with Prolog için kapak resmi
Logic Programming with Prolog
Yazar 
Bramer, Max. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331207.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Logic: A Brief Course için kapak resmi
Logic: A Brief Course
Yazar 
Mundici, Daniele. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-2361-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
The logic of education için kapak resmi
The logic of education
Yazar 
Hirst, Paul Heywood. Peters, R. S. (Richard Stanley), 1919-
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to view
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
Memory-Based Logic Synthesis için kapak resmi
Memory-Based Logic Synthesis
Yazar 
Sasao, Tsutomu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-8104-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Aspects of Mathematical Logic için kapak resmi
Aspects of Mathematical Logic
Yazar 
Casari, E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11080-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç