Description: Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA ISBN : 9783540678632 Title : Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA Authors : Binding : paperback Publisher : Springer Publication Date : Jul 27 2000 Edition : Condition : Used - Acceptable paperback 100% of proceeds go to charity! Acceptable reading copy with obvious signs of use, wear, and/or cosmetic issues. Item is complete and remains readable despite notable condition issues. Payment For your convenience and buyer protection, we accept Paypal and credit/debit for all orders. Shipping We fulfill orders promptly M-F each week. For your convenience we offer two tiers of shipping service which you can select at checkout. If you need your order quickly, we highly recommend choosing expedited shipping at checkout. Expedited shipping generally arrives in 1-5 business days. We use USPS Priority Mail which includes tracking. Expedited orders are packaged and shipped before all other orders to ensure you receive your order as quickly as possible. Economy shipping service generally arrives in 4-9 business days. Economy orders are shipped within one business day and are shipped with the most cost effective postage class. Due to increased carrier mail volumes, economy orders are experiencing delays and in some cases orders can be delayed over 14 business days from their expected delivery date. Again, if you need your order quickly, we recommend upgrading to Expedited shipping as Expedited orders are not experiencing the same delays. Returns Your satisfaction is very important to us. Please contact us through ebay messages regarding any problems before leaving negative feedback so we have a chance to make things right. We respond to messages Monday-Friday, during busy times of year, it may take up to 48 hours to get back to you. As per our return policy, please report any defects, damages, or shipping issues within 30 days from date of shipment. About Us St. Vincent de Paul of Lane County is a 501c3 nonprofit organization based in Eugene, Oregon. We provide assistance to those who need it most including homeless families, individuals, veterans and the elderly. We have many community programs and offer emergency services and affordable housing options for over 84,000 people each year in Oregon. Your support helps us to keep making a difference, and 100% of proceeds go directly to fund our charitable programs for people in need. St. Vincent de Paul of Lane County
Price: 7.99 USD
Location: Eugene, Oregon
End Time: 2024-11-03T18:41:16.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Book Title: Theorem Proving in Higher Order Logics: 13th International Confer
Number of Pages: IX, 539 Pages
Publication Name: Theorem Proving in Higher Order Logics : 13th International Conference, TPHOLs 2000, Portland, Or, USA , August 2000 - Proceedings
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2000
Subject: Intelligence (Ai) & Semantics, Computer Science, Compilers
Type: Textbook
Item Weight: 59.6 Oz
Item Length: 9.2 in
Subject Area: Computers
Author: John Harrison
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
