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
2869. 
Communication complexity a new approach to circuit depth için kapak resmi
Communication complexity a new approach to circuit depth
Yazar 
Karchmer, Mauricio.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267292
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2870. 
Meaning and inference in medieval philosophy : studies in memory of Jan Pinborg için kapak resmi
Meaning and inference in medieval philosophy : studies in memory of Jan Pinborg
Yazar 
Pinborg, Jan. Kretzmann, Norman, ed.
Yer Numarası 
BC 34 M43 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2871. 
Sayısal devreler (I.Kısım) için kapak resmi
Sayısal devreler (I.Kısım)
Yazar 
Kalaycıoğlu, V. Ünsal.
Yer Numarası 
TK 7868.S3 K52 1986
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2872. 
Induction : processes of inference, learning, and discovery için kapak resmi
Induction : processes of inference, learning, and discovery
Yazar 
Holland, John Henry, 1929-
Yer Numarası 
BF 441 I53 1986
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2873. 
Spectral techniques and fault detection için kapak resmi
Spectral techniques and fault detection
Yazar 
Karpovsky, Mark G. International Workshop on Spectral Techniques and Fault Detection (1983 : Boston, Mass.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124000605
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2874. 
Studies in post-medieval semantics için kapak resmi
Studies in post-medieval semantics
Yazar 
Ashworth, E. J.
Yer Numarası 
P 106 A78 1985
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2875. 
Ludwig Wittgenstein, Tractatus logico-philosophicus için kapak resmi
Ludwig Wittgenstein, Tractatus logico-philosophicus
Yazar 
Aruoba, Oruç.
Yer Numarası 
B3376.W563 T7319 1985
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2876. 
Semi-custom IC Design and VLSI için kapak resmi
Semi-custom IC Design and VLSI
Yazar 
Hicks, P. J., ed.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1049/PBCM001E
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2877. 
Wörterbuch der Logik için kapak resmi
Wörterbuch der Logik
Yazar 
Kondakov, N. I. (Nikolaĭ Ivanovich) Albrecht, Erhard. Asser, Günter.
Yer Numarası 
BC9 K62 1983
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2878. 
Judgment and proposition : from Descartes to Kant için kapak resmi
Judgment and proposition : from Descartes to Kant
Yazar 
Nuchelmans, Gabriel.
Yer Numarası 
BC181 N78 1983
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2879. 
De dialectica için kapak resmi
De dialectica
Yazar 
Jackson, Belford Darrell, 1938-, trans. Pinborg, Jan., ed.
Yer Numarası 
B 655.D42 E54 1975
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2880. 
Bilgi teorisi ve mantık için kapak resmi
Bilgi teorisi ve mantık
Yazar 
Von Aster, Ernst. Gökberk, Macit, çev.
Yer Numarası 
BD 161 V89 1972
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç