Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science - P Clote - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540678953 - 9 de agosto de 2000
En caso de que portada y título no coincidan, el título será el correcto

P Clote
Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science

Precio
$ 106,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 24 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 papers cover: automated deduction; theorem proving; categorical logic; term rewriting; finite model theory; higher order logic; lambda and combinatory calculi; computational complexity; logic programing; constraints; linear logic; modal logic; temporal logic; and many others topics.

550 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de agosto de 2000
ISBN13 9783540678953
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 550
Dimensiones 156 × 234 × 29 mm   ·   1,29 kg
Lengua Alemán  
Editor Clote, Peter
Editor Schwichtenberg, Helmut

Mere med samme udgiver

Ver todo de P Clote ( Ej. Paperback Book )