Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms Paperback - 2010
by Bortin, Maksym
- New
- Paperback
A$86.70
A$7.21
Delivery within USA
Standard delivery: 5 to 7 days
More delivery options
Standard delivery: 5 to 7 days
Details
- Title Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms
- Author Bortin, Maksym
- Binding Paperback
- Condition New
- Pages 235
- Volumes 1
- Language ENG
- Publisher Logos Verlag Berlin
- Publication date 2010
- Bookseller's Inventory # 368821
- ISBN 9783832525026 / 3832525025
- Weight 0.9 lbs (0.41 kg)
- Dimensions 9.4 x 6.6 x 0.5 in (23.88 x 16.76 x 1.27 cm)
- Size 105x8x150
- Category Computers - General Information
- Quantity available 1
About ISD Connecticut, United States
Specialising in: Ancient World, Archaeology, Art History, Biblical Studies, Linguistics, Middle Eastern Studies, Music, Religion
Biblio member since 2014
We sell a large range of scholarly books, largely from continental European publishers.
Reader reviews for Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms
Write a review for this book
Important Terms and Guidelines
- Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
- Reviews must be at least 140 characters in length.
- Please do not reveal critical plot elements.
- This is not a help line. Contact customer support if you need help.
Your review must not include:
- Obscenities, discriminatory language, or other insulting language not suitable for public domain
- Advertisements, “spam” content, or references to other products, offers or websites.
- Email addresses, URLs, phone numbers, physical addresses or other contact information.
- Overly critical comments about other reviews or reviewers
- Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
- Availability, price, or alternative ordering/shipping information