Description: Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes in Computer Science, 5170)by Ait Mohamed, Otmane; Munoz, César; Tahar, Sofiène Description: It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.Product ID: 3540710655-11-1
Price: 21.94 USD
Location: Philadelphia, Pennsylvania
End Time: 2024-10-23T00:14:58.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Seller
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Theorem Proving in Higher Order Logics: 21st International Confer
Number of Pages: X, 321 Pages
Language: English
Publication Name: Theorem Proving in Higher Order Logics
Publisher: Springer Berlin / Heidelberg
Subject: Systems Architecture / General, Intelligence (Ai) & Semantics, Hardware / General, Compilers
Publication Year: 2008
Type: Textbook
Item Weight: 18.2 Oz
Subject Area: Computers
Author: Cesar Munoz
Item Length: 9.3 in
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
