| ||||||
*Learn more | ||||||
Theorem Proving in Higher Order Logics by Amy Felty, Elsa L. Gunter, International Conference on Theorem Proving in Higher Order Logics 199 (1997, Paperback)
|
Author: Amy Felty,Elsa L. Gunter,International Conference on Theorem Proving in Higher Order Logics 199
Publisher: Springer Verlag
Publication Date: 1997-06-01
Series: Lecture Notes in Computer Science
Language: English
Format: Paperback
ISBN-10: 3540633790
ISBN-13: 9783540633792
Product ID: EPID689444
Portions of this page Copyright 1995 - 2010 Muze Inc. 
All rights reserved.
All rights reserved.Preferences
Buying formats
Distance
| ||||||||||||||||||||||
 About eBay | Announcements | Security Center | Resolution Center | eBay Toolbar | Policies | Government Relations | Site Map | Help | |
Copyright © 1995-2009 eBay Inc. All Rights Reserved. Designated trademarks and brands are the property of their respective owners. Use of this Web site constitutes acceptance of the eBay User Agreement and Privacy Policy.
| |
