Egon Bvrger
Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Csl '91, Berne, Switzerland, October 7-11, 1991 - Proceedings) - Lecture Notes in Computer Science Egon Bvrger

Name: Computer Science Logic: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Csl '91, Berne, Switzerland, October 7-11, 1991 - Proceedings) - Lecture Notes in Computer Science
Price: 55.99 USD
Availability: OutOfStock
Author: Egon Bvrger

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jun. - 7 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: 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Csl '91, Berne, Switzerland, October 7-11, 1991 - Proceedings) - Lecture Notes in Computer Science

Egon Bvrger

The results of a workshop, this volume contains a series of essays on a variety of logical topics in computer science, including abstract data types, bounded theories, complexity results, denotational semantics, cut elimination, minimal proofs, Petri nets, plausibility logic and much more.

439 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	10 de septiembre de 1992
ISBN13	9783540557890
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	439
Dimensiones	155 × 233 × 22 mm · 616 g
Lengua	Alemán
Editor	Borger, Egon
Editor	Buning, Hans Kleine
Editor	Jager, Gerhard
Editor	Richter, Michael M.