Número de Cutter-SanbornE26iEntrada «Edwards» → 26 · marca de obra “i”

Interactive Theorem Proving

Name: Interactive Theorem Proving
ISBN: 9783642228643

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Autor	Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
Editorial	Springer
Fecha de publicación	Sep 17, 2011
Páginas	396
Formato	paperback
ISBN-13	9783642228643
ISBN-10	364222864X
Número de Cutter	`E26i`

Interactive Theorem Proving (2011) — ISBN 9783642228643 | Cutter Number