Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings (Lecture Notes in Computer Science) - Tapa dura

 
9780387584508: Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings (Lecture Notes in Computer Science)
Tapa dura
ISBN 10: 0387584501 ISBN 13: 9780387584508

Esta edición ISBN ya no está disponible.

Idioma
Inglés
ISBN 10 
0387584501
ISBN 13 
9780387584508
Encuadernación
Tapa dura
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783540584506: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: 859 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540584501 ISBN 13:  9783540584506
Editorial: Springer, 2008
Tapa blanda