Número de Cutter-SanbornB547tEntrada «Berton» → 547 · marca de obra “t”

Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
ISBN: 9783540482567

12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Autor	Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Editorial	Springer London, Limited
Fecha de publicación	2003
Idioma	inglés
ISBN-13	9783540482567
Número de Cutter	`B547t`

Theorem Proving in Higher Order Logics (2003) — ISBN 9783540482567 | Cutter Number