Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 - Tapa blanda

Homer, Steven; Nerode, Anil

 
9783662180662: Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Tapa blanda
ISBN 10: 3662180669 ISBN 13: 9783662180662
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2014
Idioma
Inglés
ISBN 10 
3662180669
ISBN 13 
9783662180662
Encuadernación
Paperback
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783540527343: Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... 1988: 1429 (Lecture Notes in Mathematics)

Edición Destacada

ISBN 10:  3540527346 ISBN 13:  9783540527343
Editorial: Springer, 2009
Tapa blanda