Extensions of logic programming: 5th international workshop, elp '96, leipzig, germany, march 28-30, 1996 - proceedings
Auteur :
Dyckhoff, Roy
ISBN :
9783540609834
Date de publication :
13 mars 1996
Dimensions :
23,4 x 15,6 x 1,7 cm
Poids :
467 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These conference proceedings discuss such topics as: categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning and proof search.