Egon Bvrger
Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers (Csl '92, San Miniato, Italy, September 28-october 2, 1992 - Selected Papers) - Lecture Notes in Computer Science Egon Bvrger

Name: Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers (Csl '92, San Miniato, Italy, September 28-october 2, 1992 - Selected Papers) - 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: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers (Csl '92, San Miniato, Italy, September 28-october 2, 1992 - Selected Papers) - Lecture Notes in Computer Science

Egon Bvrger

The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic of proofs, linear logic, optimization problems, the semantics of C, classes for a functional language, sconing and relators, NP-completeness and fixpoint logic.

439 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	11 de agosto de 1993
ISBN13	9783540569923
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	439
Dimensiones	155 × 233 × 23 mm · 639 g
Lengua	Alemán
Editor	Borger, Egon
Editor	Buning, Hans Kleine
Editor	Jager, Gerhard
Editor	Martini, Simone
Editor	Richter, Michael M.