Description: Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings by Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less
Price: 11.05 USD
Location: Aurora, Illinois
End Time: 2024-12-09T16:25:56.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:
Binding: Paperback
Weight: 1 lbs
Product Group: Book
IsTextBook: No
Number of Pages: VIII, 364 Pages
Publication Name: Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLS '99, Nice, France, September 14-17, 1999, Proceedings
Language: English
Publisher: Springer Berlin / Heidelberg
Subject: Mathematical & Statistical Software, Computer Science, Logic, Applied
Publication Year: 1999
Type: Textbook
Item Weight: 40.9 Oz
Item Length: 9.2 in
Author: Gilles Dowek
Subject Area: Mathematics, Computers
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback