Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Computational Logic - CL 2000

Name: Computational Logic - CL 2000
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567519
Price: 56.59 EUR
Availability: InStock
Author: John Lloyd
ISBN: 9783540677970

First International Conference London, UK, July 24-28, 2000 Proceedings

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 01567519

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2000

This book constitutes the refereed proceedings of the First International Conference on Computationa... Descripción completa

Código Libristo: 01567519

139 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Der Laser K. Dinstl

Tapa blanda

58.09 €

Kritik und Fortschritt im Rechtsstaat

Tapa blanda

40.99 €

Hunsrück Volker Kneidl

Tapa blanda

17.79 €

Arbeitskampf und Notstand aus der Sicht des Art. 9 Abs. 3 S. 3 GG. Hans Dieter Schmid

Tapa blanda

41.49 €

Gercek Hikayelerle Istiklal Marsimiz Nurullah Cetin

Tapa blanda

21.99 €

This book constitutes the refereed proceedings of the First International Conference on Computational Logic, CL 2000, held in London, UK in July 2000. The 86 revised full papers presented together with five invited papers were carefully reviewed and selected from a total of 176 submissions. In accordance with the seven streams, the papers are organized in sections on program development, logic programming - theory and extensions, constraints, automated deduction - putting theory into practice, knowledge representation and nonmonotonic reasoning, database systems, and logic programming - implementations and applications.