Resultados de Búsqueda por Autor

1

Imagen de Portada

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /

Publicado 1994

Otros Autores: '; “...Joyce, Jeffrey J., 1960-...”

Libro