Picture 1 of 1
Stock photo
Picture 1 of 1
Stock photo
Lecture Notes in Computer Science Ser.: Interactive Theorem Proving : 5th International Conference, ITP 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings by Ruben Gamboa (2014, Trade Paperback)
BOOKS etc. (563921)
99.6% positive Feedback
Price:
£39.64
Free postage
Returns:
60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
ISBN-13: 9783319089690, 978-3319089690. Interactive Theorem Proving. Publisher: Springer International Publishing AG, Switzerland.
- Buy it nowInteractive Theorem Proving - 9783319089690
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherSpringer International Publishing A&G
ISBN-103319089692
ISBN-139783319089690
eBay Product ID (ePID)214770108
Product Key Features
Number of PagesXxii, 555 Pages
Publication NameInteractive Theorem Proving : 5th International Conference, ITP 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
LanguageEnglish
Publication Year2014
SubjectSoftware Development & Engineering / General, Computer Science, Intelligence (Ai) & Semantics, Logic
TypeTextbook
AuthorRuben Gamboa
Subject AreaComputers, Mathematics
SeriesLecture Notes in Computer Science Ser.
FormatTrade Paperback
Dimensions
Item Weight305.4 oz.
Item Length9.3 in
Item Width6.1 in
Additional Product Features
Intended AudienceScholarly & Professional
All listings for this product
Be the first to write a review
