Skip to main content
PBS logo
 
 

Search - Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings (Lecture Notes in Computer Science)

Higher Order Logic Theorem Proving and Its Application: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings (Lecture Notes in Computer Science)
Higher Order Logic Theorem Proving and Its Application 7th International Workshop Valletta Malta September 1922 1994 Proceedings - Lecture Notes in Computer Science
Author: T. F. Melham
ISBN-13: 9780387584508
ISBN-10: 0387584501
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer-Verlag
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review
We're sorry, our database doesn't have book description information for this item. Check Amazon's database -- you can return to this page by closing the new browser tab/window if you want to obtain the book from PaperBackSwap.



Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.