-
1Journal Article bibliotecaCGIAR
-
2by Heller, M., Schwarz, R., Noe, G., Jores, Joerg, Fischer, A., Schubert, E., Sachse, K.
Published 2016-03-06T15:53:17ZbibliotecaCGIAR -
3Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings / Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings /by Thomas Schubert, E. editor., Windley, Philip J. editor., Alves-Foss, James. editor., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
4Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings / Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings /by Thomas Schubert, E. editor., Windley, Philip J. editor., Alves-Foss, James. editor., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS