Articles liés à Foundations of Equational Logic Programming
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.
- ÉditeurSpringer Verlag
- Date d'édition1990
- ISBN 10 038751533X
- ISBN 13 9780387515335
- ReliureBroché
- Langueanglais
Autres éditions populaires du même titre
Résultats de recherche pour Foundations of Equational Logic Programming
Image fournie par le vendeur
Micromechanics of Heterogeneous Materials (Lecture Notes in Computer Science)
Edité par
Springer Verlag Gmbh, 1989
ISBN 10 : 038751533X
ISBN 13 : 9780387515335
Ancien ou d'occasion
Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. 708 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 469 23,4 x 15,6 x 3,7 cm, Taschenbuch. N° de réf. du vendeur 388083
Quantité disponible : 1 disponible(s)