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: 05274327
Price: 56.59 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540569923

6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 05274327

Editores Springer, Berlin, noviembre 1992

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, I... Descripción completa

Código Libristo: 05274327

139 b

56.59 €

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

Hasta 30 días para devoluciones

Clientes que también han comprado

Zenit Piia Leino

Libro

16.79 €

Le roman d'Elisabeth 2 - L'âge des ailes (Berthe)

Tapa blanda

15.99 €

Die unendliche Geschichte, Hörspielbox, 3 Audio-CDs Michael Ende

CD de audio

15.59 €

Reis door Nieuw-Grenada en Venezuela De Aarde en haar Volken, 1887 Jules Crevaux

Tapa dura

19.79 €

Eleonore von Aquitanien und ihre Nachkommen Jennifer A.

Tapa blanda

15.89 €

This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the seriesand the first one held as Annual Conference of the EuropeanAssociation for Computer Science Logic (EACSL). Fullversions of the workshop contributions were collected aftertheir presentation and reviewed. On the basis of 58 reviews,26 papers were selected for publication, and appear here inrevised final form.Topics covered in the volume include: Turing machines,linear logic, logic of proofs, optimization problems, lambdacalculus, fixpoint logic, NP-completeness, resolution,transition system semantics, higher order partial functions,evolving algebras, functional logic programming, inductivedefinability, semantics of C, classes for a functionallanguage, NP-optimization problems, theory of types andnames, sconing and relators, 3-satisfiability, Kleene'sslash, negation-complete logic programs, polynomial-timeoracle machines, and monadic second-order properties.