Automated Reasoning and Its Applications: Essays in Honor of Larry Wos.

Idioma: inglés

Editorial: Mit Pr, 1997

0262220555 / 9780262220552

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 dura

Condición: Usado - Como Nuevo

EUR 16,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, MA: The MIT Press, 1997. Hardcover. Dustjacket. 257 pp.- The primary objective of automated reasoning (which includes automated deduction and automated theorem proving) is to develop computer programs that use logical reasoning for the solution of a wide variety of problems, including open questions. The essays in Automated Reasoning and Its Applications were written in honor of Larry Wos, one of the founders of the field. Wos played a central role in forming the "culture" of automated reasoning at Argonne National Laboratory. He and his colleagues consistently seek to build systems that search huge spaces for solutions to difficult problems and proofs of significant theorems. They have had numerous notable successes.The contributors are among the world's leading researchers in automated reasoning. Their essays cover the theory, software system design, and use of these systems to solve real problems.Contributors : Robert S. Boyer, Shang-Ching Chou, Xiao-Shan Gao, Lawrence Henschen, Deepak Kapur, Kenneth Kunen, Ewing Lusk, William McCune, J Strother Moore, Ross Overbeek, Lawrence C. Paulson, Hantao Zhang, Jing-Zhong Zhang. English text. Condition : as new. Condition : as new copy. ISBN 9780262220552. Keywords : .…

N° de ref. del artículo 263502

Título
Automated Reasoning and Its Applications: Essays in Honor of Larry Wos.
Autor
Veroff, Robert (ed.)
Editorial
Mit Pr
Año de publicación
1997
Estado
as new
Sobrecubierta
Sobrecubierta Incluida
Encuadernación
Encuadernación de tapa dura
Idioma
inglés
ISBN 10
0262220555
ISBN 13
9780262220552

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