Arama Sonuçlarını Sınırlandır
Yazar
ACM Special Interest Group for Automata and Computability Theory.
(1)
Apt, Krzysztof R., 1949-
(1)
Association for Symbolic Logic.
(1)
Aït-Kaci, Hassan, 1954-
(1)
Bakker, J. W. de (Jacobus Willem), 1939-
(1)
Dil
Yayın Yılı
-
Konu
programmation en logique.
(11)
Logic programming.
(5)
Logic, Symbolic and mathematical.
(5)
Logisch programmeren.
(5)
Logic programming -- Congresses.
(4)
Materyal Türü
Shelf Location
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
000000000000DEFAULT_TR
Yazdır
1. 
Louis Couturat -Traité de Logique algorithmique için kapak resmi
Louis Couturat -Traité de Logique algorithmique
Yazar 
Schlaudt, Oliver. editor. Sakhri, Mohsen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0346-0411-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Elements of mathematical logic (Model theory) için kapak resmi
Elements of mathematical logic (Model theory)
Yazar 
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 için kapak resmi
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Yazar 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
High-performance system design circuits and logic için kapak resmi
High-performance system design circuits and logic
Yazar 
Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets için kapak resmi
Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Yazar 
Gregg, John.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Handbook of logic and language için kapak resmi
Handbook of logic and language
Yazar 
Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444817143
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming için kapak resmi
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Yazar 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
From logic to logic programming için kapak resmi
From logic to logic programming
Yazar 
Doets, Kees.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
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:
12. 
A grammatical view of logic programming için kapak resmi
A grammatical view of logic programming
Yazar 
Deransart, Pierre. Małuszyński, J. (Jan), 1941-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: