Número de Cutter-SanbornW765hEntrada «Windi» → 765 · marca de obra “h”

Higher Order Logic Theorem Proving and Its Applications

Name: Higher Order Logic Theorem Proving and Its Applications
ISBN: 9783540602750

8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science)

Fecha de publicación
Autor	Phillip J. Windley, James Alves-Foss, Gerhard Goos, Juris Hartmanis
Editorial	Springer

Higher Order Logic Theorem Proving and Its Applications (1995) — ISBN 9783540602750 | Cutter Number