Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(120)
Voronkov, Andrei. editor.
(11)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Hanus, Michael. editor.
(3)
Dil
English
(155)
Yayın Yılı
-
Konu
Artificial intelligence.
(56)
Computer science.
(55)
Logic design.
(37)
Software engineering.
(32)
Computer logic.
(23)
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ç
155 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Foundations of equational logic programming için kapak resmi
Foundations of equational logic programming
Yazar 
Hölldobler, Steffen, 1957-
Yer Numarası 
QA 76.63 H65 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
14. 
Logic programming and knowledge engineering için kapak resmi
Logic programming and knowledge engineering
Yazar 
Amble, Tore, 1945-
Yer Numarası 
QA 76.6 A464 1987
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
15. 
Mathematical logic and programming languages için kapak resmi
Mathematical logic and programming languages
Yazar 
Hoare, C. A. R., ed. Shepherdson, J. C., ed.
Yer Numarası 
QA 9 M42 1985
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
16. 
Analog/logic computer programming and simulation için kapak resmi
Analog/logic computer programming and simulation
Yazar 
Ricci, Fred J.
Yer Numarası 
QA 76.4 R53 1973
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
17. 
Logic programming proceedings of the Tenth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the Tenth International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Logic programming proceedings of the 1997 International Symposium için kapak resmi
Logic programming proceedings of the 1997 International Symposium
Yazar 
Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Inductive logic programming from machine learning to software engineering için kapak resmi
Inductive logic programming from machine learning to software engineering
Yazar 
Bergadano, Francesco, 1963- Gunetti, Daniele.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Logic programming proceedings of the twelfth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the twelfth International Conference on Logic Programming
Yazar 
Sterling, Leon.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Logic programming proceedings of the eleventh International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the eleventh International Conference on Logic Programming
Yazar 
Van Hentenryck, Pascal.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Probabilistic Inductive Logic Programming Theory and Applications için kapak resmi
Probabilistic Inductive Logic Programming Theory and Applications
Yazar 
Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-78652-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Computing with logic : logic programming with prolog için kapak resmi
Computing with logic : logic programming with prolog
Yazar 
Maier, David, 1953- Warren, D. S., ort. yaz.
Yer Numarası 
QA 76.73.P76 M349 1988
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
24. 
Logic programming proceedings of the 1999 International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the 1999 International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç