Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993: 780 (Lecture Notes in Computer Science) - Tapa blanda

 
9780387578262: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993: 780 (Lecture Notes in Computer Science)
Tapa blanda
ISBN 10: 0387578269 ISBN 13: 9780387578262

Esta edición ISBN ya no está disponible.

Sinopsis

Book by Joyce Jeffrey J Seger CarlJohan H

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

Idioma
Inglés
ISBN 10 
0387578269
ISBN 13 
9780387578262
Encuadernación
Tapa blanda
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783540578260: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 780 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  3540578269 ISBN 13:  9783540578260
Editorial: Springer, 2008
Tapa blanda