Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 : Proceedings - Couverture souple

Elp '9 (1996 Leipzig, Germany); Dyckhoff, Roy; Herre, Heinrich; Schroeder-Heister, Peter Joseph

 
9780387609836: Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 : Proceedings
Couverture souple
ISBN 10 : 0387609830 ISBN 13 : 9780387609836
Editeur : Springer Verlag, 1996

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

Extensions of Logic Programming 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Verlag
Date d'édition
1996
Langue
anglais
ISBN 10 
0387609830
ISBN 13 
9780387609836
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540609834: Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

Edition présentée

ISBN 10 :  3540609830 ISBN 13 :  9783540609834
Editeur : Springer, 2008
Couverture souple