|
|
2.
|
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. por
- Berghofer, Stefan [editor.]
- Nipkow, Tobias [editor.]
- Urban, Christian [editor.]
- Wenzel, Makarius [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5674
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.
|
