Higher order logic theorem proving and its applications
8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
Edición de la obra Higher order logic theorem proving and its applications
| Autor | Phillip J. Windley, James Alves-Foss, Gerhard Goos, Juris Hartmanis |
|---|---|
| Editorial | Springer-Verlag, Springer |
| Fecha de publicación |