Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
sémantique.
(4)
Logic programming -- Congresses.
(3)
Semantiek.
(3)
programmation en logique.
(3)
Logische Programmierung.
(2)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
8 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
1. 
WordNet an electronic lexical database için kapak resmi
WordNet an electronic lexical database
Yazar 
Fellbaum, Christiane.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267389
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
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:
3. 
Algebraic semantics of imperative programs için kapak resmi
Algebraic semantics of imperative programs
Yazar 
Goguen, Joseph. Malcolm, Grant.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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:
5. 
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:
6. 
The formal semantics of programming languages an introduction için kapak resmi
The formal semantics of programming languages an introduction
Yazar 
Winskel, G. (Glynn)
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Basic category theory for computer scientists için kapak resmi
Basic category theory for computer scientists
Yazar 
Pierce, Benjamin C.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Artificial intelligence the very idea için kapak resmi
Artificial intelligence the very idea
Yazar 
Haugeland, John, 1945-2010.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276821
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: