Advances in Logic Programming and Automated Reasoning (1) - Couverture rigide

Couverture rigide

ISBN 10 : 0893916838 ISBN 13 : 9780893916831

Editeur : Intellect Books, 1992

Synopsis

This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic programming and automate reasoning. Topics covered include equational reasoning, parallel programming in logic, term rewriting systems, control of logic programs, completion procedures, unification and matching algorithms, design and implementation of deduction systems, logical methods of knowledge representation, logic-based inference techniques, and programs synthesis and verification.

Détails de l'édition

• Éditeur: Intellect Books
• Date d'édition: 1992
• Langue: anglais
• ISBN 10: 0893916838
• ISBN 13: 9780893916831
• Reliure: Relié
• Nombre de pages: 200
• Éditeur: Wilkerson Ralph W.
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible