Arama Sonuçlarını Sınırlandır
Yazar
Dil
Konu
MANTIK.
(3)
MANTIK, SEMBOLİK VE MATEMATİKİ.
(2)
MANTIKSAL PROGRAMLAMA.
(2)
Model theory.
(2)
ÇOKLU İŞLEM (ELEKTRONİK BİLGİSAYARLAR)
(2)
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ç
21 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT_TR
Yazdır
13. 
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications için kapak resmi
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications
Yazar 
Stark, W. Richard.
Yer Numarası 
QA 76.73.L23 S72 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
14. 
The Practice of Prolog için kapak resmi
The Practice of Prolog
Yazar 
Sterling, Leon.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Cylindric algebras için kapak resmi
Cylindric algebras
Yazar 
Henkin, Leon. Monk, J. Donald, ort. yaz. Tarski, Alfred, ort. yaz.
Yer Numarası 
QA 9 H415 1971- V.1
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
16. 
Classical recursion theory the theory of functions and sets of natural numbers için kapak resmi
Classical recursion theory the theory of functions and sets of natural numbers
Yazar 
Odifreddi, Piergiorgio, 1950-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444502056
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Model theory için kapak resmi
Model theory
Yazar 
Chang, Chen Chung, 1927- Keisler, H. Jerome.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444880543
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Classification theory and the number of non-isomorphic models için kapak resmi
Classification theory and the number of non-isomorphic models
Yazar 
Shelah, Saharon.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702609
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
İslam mantık tarihi ve Farabi mantığı için kapak resmi
İslam mantık tarihi ve Farabi mantığı
Yazar 
Keklik, Nihat.
Yer Numarası 
BC 34 K4 1969-70
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
20. 
Wise choices, apt feelings : a theory of normative judgment için kapak resmi
Wise choices, apt feelings : a theory of normative judgment
Yazar 
Gibbard, Allan.
Yer Numarası 
BJ1012 .G53 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
21. 
The Development of a Strategy for Integrated Manufacturing Systems için kapak resmi
The Development of a Strategy for Integrated Manufacturing Systems
Yazar 
Schofield, N. A., ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBME012E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: