Artículos relacionados a Higher Order Logic Theorem Proving and Its Applications:...

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.

  • ISBN 10 0387578269
  • ISBN 13 9780387578262
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Contacto del fabricanteno disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

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