Advances in Logic Programming and Automated Reasoning
Ralph W. Wilkerson
ISBN 10: 0893916838 ISBN 13: 9780893916831
Editorial: Intellect Ltd, 1992
Usado
Encuadernación de tapa dura
Librería:
Wonder Book, Frederick, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Honoris Librarius
Miembro de AbeBooks desde 1996
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
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. N° de ref. del artículo R05OS-00596
Sinopsis:
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.
Acerca del 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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Advances in Logic Programming and Automated ...
Editorial: Intellect Ltd
Año de publicación: 1992
Encuadernación: Encuadernación de tapa dura
Condición: Good
Los mejores resultados en AbeBooks
Imagen de archivo
Advances in Logic Programming and Automated Reasoning
Publicado por
Intellect Ltd, 1992
ISBN 10: 0893916838
ISBN 13: 9780893916831
Antiguo o usado
Tapa dura
Librería: PAPER CAVALIER US, Brooklyn, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: as new. Appears unread. May have a retail sticker on back cover or remainder mark on the text block. Nº de ref. del artículo: 9780893916831-2
Comprar usado
EUR 28,91
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles