Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(128)
Voronkov, Andrei. editor.
(11)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Hanus, Michael. editor.
(3)
Dil
English
(178)
Yayın Yılı
-
Konu
Artificial intelligence.
(62)
Computer science.
(56)
Logic design.
(37)
Software engineering.
(33)
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ç
178 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers için kapak resmi
Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
Yazar 
Seipel, Dietmar. editor. Hanus, Michael. editor. Geske, Ulrich. editor. Bartenstein, Oskar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b135595
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers için kapak resmi
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
Yazar 
Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106890
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings için kapak resmi
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
Yazar 
Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106931
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Mitsubishi FX programmable logic controllers applications and programming için kapak resmi
Mitsubishi FX programmable logic controllers applications and programming
Yazar 
Ridley, J. E. (John E.) Ridley, J. E. (John E.). Introduction to programmable logic controllers.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750656795
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Logic programming proceedings of the 1995 international symposium için kapak resmi
Logic programming proceedings of the 1995 international symposium
Yazar 
Lloyd, J. W. (John Wylie)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Logic programming and non-monotonic reasoning proceedings of the second international workshop için kapak resmi
Logic programming and non-monotonic reasoning proceedings of the second international workshop
Yazar 
Pereira, Luís Moniz. Nerode, Anil, 1932-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
Interactive relational database design : a logic programming implementation için kapak resmi
Interactive relational database design : a logic programming implementation
Yazar 
Bagchi, Tapan P.
Yer Numarası 
QA 76.9.D26 B34 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
9. 
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:
10. 
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:
11. 
Concurrent constraint programming için kapak resmi
Concurrent constraint programming
Yazar 
Saraswat, Vijay.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Neuro Symbolic Reasoning and Learning için kapak resmi
Neuro Symbolic Reasoning and Learning
Yazar 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç