Advances in Logic Programming and Automated Reasoning

Ralph W. Wilkerson

ISBN 10: 0893916838 / ISBN 13: 9780893916831

Verlag: Intellect Ltd, 1992

Good condition. Volume 1. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains. Bestandsnummer des Verkäufers R05OS-00596

Inhaltsangabe:

Begins a series reporting new research on the methods of logic in computer science, designed to stimulate and sustain productive lines of investigation into the theory and applications of symbolic and algebraic computing techniques related to logic programming and automated deduction. The eight articles discuss parallel deduction methods using connection graphs, order-sorted equational logic programming, an automated decision procedure based on the notion of the semantic tableau, and other topics. The price to individuals is $35. Annotation copyright Book News, Inc. Portland, Or.

Bibliografische Details

Titel: Advances in Logic Programming and Automated ...
Verlag: Intellect Ltd
Erscheinungsdatum: 1992
Einband: Hardcover
Zustand: Good