LIBRISTO
LIBROAMANTO
obligatorio
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
0
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

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

Computer Science Logic

7th Workshop, CSL '93, Swansea, UK, September 13-17, 1993. Selected Papers

Libro Computer Science Logic Egon Börger
Código Libristo: 05274407
Editores Springer, Berlin, noviembre 1993
This volume contains the final versions of a collection of papers presented at the Annual Conference... Descripción completa
? points 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


One Piece 109 Eiichiro Oda / Libro Tapa blanda
common.buy 7.99
Gouverner le social par le religieux Faure / Libro Tapa blanda
common.buy 34.69
Tiamatin hněv James S. A. Corey / Libro Tapa blanda
common.buy 17.29
Kabala Pro Zacatecniky Michael Laitman / Libro Tapa blanda
common.buy 20.49
Le journal de ma vie Kate Clayborn / Libro Tapa blanda
common.buy 25.39
Harakiri - The Masters of Cinema Series Masaki Kobayashi / Video Blu-ray
common.buy 16.09
Programació lineal / Libro Tapa blanda
common.buy 17.29
Agenda Mindenensis dioecesis Carl von Reifitz / Libro Tapa blanda
common.buy 62.99
Ein europäischer Jurist des 19. Jahrhunderts. Tanja Guddat / Libro Tapa blanda
common.buy 112.09
Spuk Ernst Kallmeyer / Libro Tapa blanda
common.buy 24.69

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

También puede interesarle


Beastly Armor: Military Defenses Inspired by Animals Charles C. Hofer / Libro Tapa blanda
common.buy 8.69
Essential Epicurus Epicurus / Libro Tapa blanda
common.buy 12.59
In Exile and Other Stories Mary Hallock Foote / Libro Tapa blanda
common.buy 17.79
My Korean Identity and Quest for Understanding Michael Chon / Libro Tapa blanda
common.buy 32.89
Noel Coward Screenplays Noel Coward / Libro Tapa dura
common.buy 150.99
Corporate Asset Don Easton / Libro Tapa blanda
common.buy 10.39
Defiant M. Quint / Libro Tapa dura
common.buy 19.39
Developing Community Mental Health Services Grainne Fadden / Libro Tapa blanda
common.buy 19.69
Demonic Visions 50 Horror Tales Book 5 Rob Smales / Libro Tapa blanda
common.buy 11.19
English for International Journalists Mike Gandon / Libro Tapa blanda
common.buy 65.89

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo