Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings - Theoretical Computer Science and General Issues - Jacques Duparc - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540749141 - 30 de agosto de 2007
En caso de que portada y título no coincidan, el título será el correcto

Jacques Duparc
Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings - Theoretical Computer Science and General Issues 4th 2007 edition

Precio
$ 106,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 27 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.

600 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de agosto de 2007
ISBN13 9783540749141
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 600
Dimensiones 155 × 235 × 31 mm   ·   852 g
Lengua Francés  
Editor Duparc, Jacques
Editor Henzinger, Thomas A.

Mere med samme udgiver

Ver todo de Jacques Duparc ( Ej. Paperback Book )