Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(183)
Project Muse.
(4)
Gabbay, Dov M. editor.
(3)
Barthe, Gilles. editor.
(2)
Calude, Cristian S. editor.
(2)
Dil
Konu
Computer science.
(139)
Logic design.
(114)
Software engineering.
(80)
Artificial intelligence.
(54)
Logic, Symbolic and mathematical.
(51)
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ç
267 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
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:
14. 
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:
15. 
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:
16. 
Handbook of logic and language için kapak resmi
Handbook of logic and language
Yazar 
Benthem, J. F. A. K. van, 1949- Meulen, Alice G. B. ter.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444537263
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Mathematical aspects of logic programming semantics için kapak resmi
Mathematical aspects of logic programming semantics
Yazar 
Hitzler, Pascal. Seda, Anthony.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
The logic of positive engagement için kapak resmi
The logic of positive engagement
Yazar 
Nincic, Miroslav.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://www.jstor.org/stable/10.7591/j.ctt7v74h
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Lollipop logic : grades K-2 için kapak resmi
Lollipop logic : grades K-2
Yazar 
Risby, Bonnie. Risby, Robert K. Draze, Dianne. Morrison, Sarah.
Yer Numarası 
BC71 R57 2011 V.1
Format: 
Durum 
Beytepe Kütüphanesi~3
Rafta:
Kopya:
20. 
McGraw-Hill's conquering LSAT logic games için kapak resmi
McGraw-Hill's conquering LSAT logic games
Yazar 
Curvebreakers.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Independence-Friendly Logic A Game-Theoretic Approach için kapak resmi
Independence-Friendly Logic A Game-Theoretic Approach
Yazar 
Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
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:
23. 
An introduction to practical formal methods using temporal logic için kapak resmi
An introduction to practical formal methods using temporal logic
Yazar 
Fisher, Michael, 1962-
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9781119991472
http://proquest.safaribooksonline.com/?fpi=9780470027882
Books24x7 http://www.books24x7.com/marc.asp?bookid=46822
http://proquest.safaribooksonline.com/9780470027882
Volltext http://proquest.tech.safaribooksonline.de/9780470027882
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Logic based on Schaum's Outline of theory and problems of logic için kapak resmi
Logic based on Schaum's Outline of theory and problems of logic
Yazar 
Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç