From logic to logic programming

Skip to:Content

|

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.

calculabilité.

résolution linéaire.

théorie définissabilité.

logique 1er ordre.

calcul propositionnel.

programmation en 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... Online Library	E-Book	220199-1001	ONLINE	Searching... Unknown	Searching... Unavailable

On Order

Go to:Top of Page