Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
programmation en logique.
(11)
Logic programming.
(5)
Logisch programmeren.
(5)
Logic programming -- Congresses.
(4)
Logic, Symbolic and mathematical.
(4)
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ç
20 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
13. 
Logic programming languages constraints, functions, and objects için kapak resmi
Logic programming languages constraints, functions, and objects
Yazar 
Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy için kapak resmi
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Yazar 
McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Warren's abstract machine a tutorial reconstruction için kapak resmi
Warren's abstract machine a tutorial reconstruction
Yazar 
Aït-Kaci, Hassan, 1954-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Proceedings of the Third Annual Workshop on Computational Learning Theory University of Rochester, Rochester, New York, August 6-8, 1990 için kapak resmi
Proceedings of the Third Annual Workshop on Computational Learning Theory University of Rochester, Rochester, New York, August 6-8, 1990
Yazar 
Workshop on Computational Learning Theory (3rd : 1990 : Rochester, N.Y.) Fulk, Mark A. Case, John, 1942- ACM Special Interest Group for Automata and Computability Theory. SIGART.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781558601468
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
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:
18. 
Algorithmic program debugging için kapak resmi
Algorithmic program debugging
Yazar 
Shapiro, Ehud Y.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic için kapak resmi
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Yazar 
Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic in algebraic form Three languages and theories için kapak resmi
Logic in algebraic form Three languages and theories
Yazar 
Craig, William, 1918-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: