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
13. 
Dynamic logic için kapak resmi
Dynamic logic
Yazar 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Logic circuits için kapak resmi
Logic circuits
Yazar 
Morris, Noel Malcolm.
Yer Numarası 
TK 7868.L6 M67 1983
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
15. 
Symbolic logic için kapak resmi
Symbolic logic
Yazar 
Copi, Irving M.
Yer Numarası 
BC 135 C58 1973
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
16. 
Elementary logic için kapak resmi
Elementary logic
Yazar 
Mates, Benson, 1919-
Yer Numarası 
BC 135 M37 1972 E
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
17. 
Symbolic logic için kapak resmi
Symbolic logic
Yazar 
Venn, John, 1834-1923.
Yer Numarası 
BC 135 V4 1971
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
18. 
Threshold logic için kapak resmi
Threshold logic
Yazar 
Sheng, Ching-Lai.
Yer Numarası 
QA 401 S46 1969
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
19. 
Philosophical logic için kapak resmi
Philosophical logic
Yazar 
Strawson, P. F.
Yer Numarası 
BC6 S8 1968
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
20. 
Introductory logic için kapak resmi
Introductory logic
Yazar 
Creighton, James Edwin, 1861-1924.
Yer Numarası 
BC 108 C87 1920
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
21. 
Formal logic için kapak resmi
Formal logic
Yazar 
Prior, A. N. (Arthur N.), 1914-1969.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198241560.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Logic Colloquium 2007 için kapak resmi
Logic Colloquium 2007
Yazar 
Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
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:
24. 
Logic Colloquium 2005 için kapak resmi
Logic Colloquium 2005
Yazar 
Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç