Advances in Logic Programming and Automated Reasoning

ISBN 10: 0893916838 / ISBN 13: 9780893916831

Verlag: Intellect Ltd, 1992

Beschreibung

Appears unread. May have a retail sticker on back cover or remainder mark on the text block. Bestandsnummer des Verkäufers 9780893916831-2

Bibliografische Details

Titel: Advances in Logic Programming and Automated ...

Verlag: Intellect Ltd

Erscheinungsdatum: 1992

Einband: Hardcover

Zustand: as new

Über diesen Titel

Inhaltsangabe:

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.

Über die Autorin bzw. den Autor:

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.