Cover image for From logic to logic programming
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
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 220199-1001 ONLINE
Searching...

On Order