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
000000000000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
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:
3. 
Logic programming and databases için kapak resmi
Logic programming and databases
Yazar 
Ceri, Stefano, 1955- Gottlob, G., ort. yaz. Tanca, L., ort. yaz.
Yer Numarası 
QA 76.63 C47 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
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:
5. 
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:
6. 
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:
7. 
Parallel computers : object-oriented, functional, logic için kapak resmi
Parallel computers : object-oriented, functional, logic
Yazar 
Treleaven, P. C., ed.
Yer Numarası 
QA 76.5 P314 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
8. 
Kotarbinski : logic, semantics, and ontology için kapak resmi
Kotarbinski : logic, semantics, and ontology
Yazar 
Wolenski, J., ed.
Yer Numarası 
B 4691.K594 K67 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
9. 
Systems programming in parallel logic languages için kapak resmi
Systems programming in parallel logic languages
Yazar 
Foster, Ian, 1959-
Yer Numarası 
QA 76.66 F67 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
10. 
Leibniz's philosophy logic and language için kapak resmi
Leibniz's philosophy logic and language
Yazar 
Ishiguro, Hide
Yer Numarası 
B 2599.L8 I83 1990
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
11. 
To mock mockingbird : and other logic puzzles... için kapak resmi
To mock mockingbird : and other logic puzzles...
Yazar 
Smullyan, Raymond Merrill, 1919-
Yer Numarası 
GV 1507.P43 S68 1985
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
12. 
Boethius the consolations of music, logic, theology and philosophy için kapak resmi
Boethius the consolations of music, logic, theology and philosophy
Yazar 
Chadwick, Henry, 1920-2008.
Yer Numarası 
ONLINE
Elektronik Erişim 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198265498.001.0001
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
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. 
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:
21. 
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: