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.

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274587
Price: 56.59 EUR
Availability: InStock
Author: Hans Kleine Buening
ISBN: 9783540613770

9th Workshop, CSL '95, Annual Conference of the EACSL, Padebor, Germany, September 22-29, 1995, Selected Papers

Hans Kleine Buening

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 05274587

Editores Springer, Berlin, noviembre 1995

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference... Descripción completa

Código Libristo: 05274587

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

1,000,000 Pfundnote Und Andere Humoristische Erzahlungen Und Skizzen Mark Twain

Tapa blanda

12.89 €

Bibi Blocksberg, Die kleine Spürnase, 1 Audio-CD Klaus-P. Weigand

CD de audio

11.89 €

Asphalt Tribe Morton Rhue

Tapa blanda

9.09 €

Lexikon der Sprichwoerter und Redensarten Band 13 (Es - Er) René Dick

Tapa blanda

43.29 €

besten und verrucktesten Kneipen-Namen Dieter Auer

Tapa blanda

10.99 €

Wichtel Nick Admar Kwant

Libro de concertinas

11.69 €

Die Bestellung des Geschäftsführers im Gesellschaftsvertrag der GmbH als materieller Satzungsbestandteil. Karl-Dieter Müller

Tapa blanda

67.69 €

Erfolgreich verhandeln Jörg Kupjetz

Tapa blanda

32.59 €

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.