From logic to logic programming
by
 
Doets, Kees.

Title
: 
From logic to logic programming

Author
: 
Doets, Kees.

ISBN
: 
9780262288477

Publication Information
: 
Cambridge, Mass. : MIT Press, c1994.

Physical Description
: 
1 online resource (xii, 214 p.) : ill.

Series
: 
Foundations of computing

Series Title
: 
Foundations of computing

Subject Term
: 
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.

Electronic Access
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book220199-1001ONLINEElektronik Kütüphane