Computer Science Logic: 9th International Workshop, Csl '95, Annual Conference of the Eacsl Paderborn, Germany, September 22-29, 1995. Selected Papers (CSI '95, Annual Conference of the Eacsl, Paderborn, Germany, September 22-29 1995 - Selected Papers) - - H Kleine Buening - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540613770 - 5 de junio de 1996
En caso de que portada y título no coincidan, el título será el correcto

H Kleine Buening
Computer Science Logic: 9th International Workshop, Csl '95, Annual Conference of the Eacsl Paderborn, Germany, September 22-29, 1995. Selected Papers (CSI '95, Annual Conference of the Eacsl, Paderborn, Germany, September 22-29 1995 - Selected Papers) -

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 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 27 papers in this volume cover topics including temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, and formal languages.

492 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de junio de 1996
ISBN13 9783540613770
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 492
Dimensiones 156 × 234 × 25 mm   ·   698 g
Lengua Alemán  
Editor Buening, Hans Kleine

Mere med samme udgiver

Ver todo de H Kleine Buening ( Ej. Paperback Book )