Theorem Proving in Higher Order Logics - 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Paperback, 1997 ed.)

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.
The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1275
Release date:	August 1997
First published:	1997
Editors:	Elsa L. Gunter • Amy Felty
Dimensions:	235 x 155 x 18mm (L x W x T)
Format:	Paperback
Pages:	346
Edition:	1997 ed.
ISBN-13:	978-3-540-63379-2
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General
LSN:	3-540-63379-0
Barcode:	9783540633792

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!