Foundations of Equational Logic Programming - Couverture souple

Holldobler, Steffen

 
9780387515335: Foundations of Equational Logic Programming
Couverture souple
ISBN 10 : 038751533X ISBN 13 : 9780387515335
Editeur : Springer Verlag, 1990

Synopsis

Foundations of Equational Logic Programming Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augmenting programs with a conditional equational theory, it defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting.

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

Éditeur
Springer Verlag
Date d'édition
1990
Langue
anglais
ISBN 10 
038751533X
ISBN 13 
9780387515335
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540515333: Foundations of Equational Logic Programming

Edition présentée

ISBN 10 :  354051533X ISBN 13 :  9783540515333
Editeur : Springer, 2008
Couverture souple