Número de Cutter-SanbornS384hEntrada «Schube» → 384 · marca de obra “h”

Higher Order Logic Theorem Proving and Its Applications

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

8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Autor	E. Thomas Schubert, Phillip J. Windley, James Alves-Foss
Editorial	Springer
Fecha de publicación	Mar 12, 2014
Páginas	416
Formato	paperback
ISBN-13	9783662176207
ISBN-10	3662176203
Número de Cutter	`S384h`

Higher Order Logic Theorem Proving and Its Applications (2014) — ISBN 9783662176207 | Cutter Number