Cover Image
Read Now

Theorem Proving in Higher Order Logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

Bibliographic Details
Other Authors: Carreno, Victor A. (Editor), Munoz, Cesar A. (Editor), Tahar, Sofiene (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2002, 2002
Edition:1st ed. 2002
Series:Lecture Notes in Computer Science
Subjects:
Computer Systems
Software Engineering
Computer Science
Computer System Implementation
Logic Design
Theory Of Computation
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:X, 347 p online resource
ISBN:9783540456858

Similar Items