From logic to logic programming.

Doets, Kees.

9 valoraciones de Goodreads

Idioma: inglés

Editorial: Mit Pr, 1994

0262041421 / 9780262041423

  • Tapa blanda
  • Usado
Ver todos los detalles
Vendedor patrimonial

Librería: Kloof Booksellers & Scientia Verlag, Amsterdam, HolandaKloof Booksellers & Scientia Verlag

Vendedor de 4 estrellas

Vendedor de IberLibro desde 7 de octubre de 1999

Miembro de asociación: NVVAILAB

Tapa blanda

Condición: Usado - Como Nuevo

EUR 55,95

Envío por EUR 30,00 
Se envía de Holanda a Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

Cambridge, Mass. : MIT Press, 1994. Hardcover. 228 pp. - This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described.No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic. Condition : as new copy. ISBN 9780262041423. Keywords : COMPUTER STUDIES, Logic programming.…

N° de ref. del artículo 287754

Título
From logic to logic programming.
Autor
Doets, Kees.
Editorial
Mit Pr
Año de publicación
1994
Estado
as new
Encuadernación
Encuadernación de tapa blanda
Idioma
inglés
ISBN 10
0262041421
ISBN 13
9780262041423

Kloof Booksellers & Scientia Verlag

Amsterdam, Holanda

Vendedor de 4 estrellas

Vendedor de IberLibro desde 7 de octubre de 1999

Miembro de asociación:

Tarifas de envío de Holanda a Estados Unidos de America

ArtículoDe 14 a 60 días hábilesDe 7 a 15 días hábiles
Primer artículoEUR 30,00EUR 65,00
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Cheque
  • Factura
  • Giro bancario
  • PayPal

Descripción de la tienda

In business since 1923 we are specialized in law, philosophy and other scholarly books from the 16th - 20th century. We also carry a general stock and we have permanently in stock ca. 60.000 titles. Visit only by appointment. Member of ILAB and the NVVA, the Dutch Antiquarian Booksellers Association.

Especialidad

Art, Sociology, Economics, History, Medicine, Science, Philosophy, Law

Miembro de asociación

  • The Nederlandsche Vereeniging van Antiquaren
  • International League of Antiquarian Booksellers
Los miembros de estas asociaciones se comprometen a mantener los estándares más altos. Garantizan la autenticidad de todos los artículos puestos a la venta. Proporcionan descripciones detalladas y expertas, informan de todos los defectos o restauraciones importantes, incluyen precios claros y precisos y actúan de manera justa y honesta durante la experiencia de compra.

Información empresarial del vendedor

Kloof Booksellers & Scientia Verlag

Holanda