From logic to logic programming
tarafından
 
Doets, Kees.

Başlık
: 
From logic to logic programming

Yazar
: 
Doets, Kees.

ISBN
: 
9780262288477

Yayın Bilgileri
: 
Cambridge, Mass. : MIT Press, c1994.

Fiziksel Tanımlama
: 
1 online resource (xii, 214 p.) : ill.

Seri
: 
Foundations of computing

Seri Başlığı
: 
Foundations of computing

Konu Terimleri
: 
Logic programming.
 
négation.
 
calculabilité.
 
dérivation.
 
résolution linéaire.
 
théorie définissabilité.
 
logique 1er ordre.
 
calcul propositionnel.
 
programmation en logique.
 
logique.
 
Wiskundige logica.
 
Logisch programmeren.
 
Resolventenprinzip.

Elektronik Erişim
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap220199-1001ONLINEElektronik Kütüphane