Zoltan Esik
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings - Theoretical Computer Science and General Issues Zoltan Esik 2006 edition

Name: Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings - Theoretical Computer Science and General Issues
Price: 107.49 USD
Availability: OutOfStock
Author: Zoltan Esik

Precio

$ 107,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings - Theoretical Computer Science and General Issues

Zoltan Esik

2006 edition

Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

627 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	20 de septiembre de 2006
ISBN13	9783540454588
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	627
Dimensiones	155 × 235 × 33 mm · 907 g
Lengua	Alemán
Editor	Esik, Zoltan