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

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.

  • ISBN 10 0387584501
  • ISBN 13 9780387584508
  • EncuadernaciónTapa dura
  • 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

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