Extensions of logic programming: 4th international workshop, elp '93, st.andrews, u.k., march 29-april 1, 1993 - proceedings
Auteur :
Dyckhoff, Roy
ISBN :
9783540580256
Date de publication :
20 mai 1994
Dimensions :
23,4 x 15,6 x 1,9 cm
Poids :
1160 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This collection of papers includes discussion of definitional reflection and completion, knowledge representation, non-procedural logic programming, disjunctive databases, linear logic programming, proof theory, finite sets, search-space pruning and the implementation of transputer networks.