Welcome to aboutlifting online Store From 9 to 19 o'clock every day ( Saturdays and Sundays, except holidays )
Currencies
My Cart 0
categories
More Categories
Free Shipping - available for orders above $30
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)
  • Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)
  • Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)

Product details

  • ASIN ‏ : ‎ 3642228623
  • Publisher ‏ : ‎ Springer; 2011th edition (August 2, 2011)
  • Language ‏ : ‎ English
  • Paperback ‏ : ‎ 394 pages
  • ISBN-10 ‏ : ‎ 9783642228629
  • ISBN-13 ‏ : ‎ 978-3642228629
  • Item Weight ‏ : ‎ 1.22 pounds
  • Dimensions ‏ : ‎ 6.1 x 0.9 x 9.25 inches

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)

$55.00  $27.00
Save: 51% off

ARRIVING & SHIPPING SOON!! Free shipping over $30.00
90 Days Easy Returns View More Return Policy

Recommend Products

Ace the Data Science Interview: 201 Real Interview Questions Asked By FAANG, Tech Startups, & Wall Street
Ace the Data Science Interview: 201 Real Interview Questions Asked By FAANG, Tech Startups, & Wall Street
$18.00$36.00
Continuous AI: A publication in the Continuous Everything series
Continuous AI: A publication in the Continuous Everything series
$28.00$57.00
GENERATIVE AI - Comprehensive Guide for Beginners: Mastering Artificial Intelligence, Deep Learning, and Business Applications with ChatGPT (Bonus: 3 Books with Prompts to Boost Your Profits 10x)
GENERATIVE AI - Comprehensive Guide for Beginners: Mastering Artificial Intelligence, Deep Learning, and Business Applications with ChatGPT (Bonus: 3 Books with Prompts to Boost Your Profits 10x)
$8.00$16.00
Create Stunning AI Art Using Craiyon, DALL-E and Midjourney: A Guide to AI-Generated Art For Everyone Using Craiyon, DALL-E and Midjourney (Graphic Design for Beginners)
Create Stunning AI Art Using Craiyon, DALL-E and Midjourney: A Guide to AI-Generated Art For Everyone Using Craiyon, DALL-E and Midjourney (Graphic Design for Beginners)
$22.00$45.00
Write with ChatGPT: the Ultimate Guide to Creating Every Content You Want
Write with ChatGPT: the Ultimate Guide to Creating Every Content You Want
$7.00$15.00
Create Stunning AI Art Using Craiyon, DALL-E and Midjourney: A Guide to AI-Generated Art For Everyone Using Craiyon, DALL-E and Midjourney (Graphic Design for Beginners)
Create Stunning AI Art Using Craiyon, DALL-E and Midjourney: A Guide to AI-Generated Art For Everyone Using Craiyon, DALL-E and Midjourney (Graphic Design for Beginners)
$22.00$45.00

AI Art: Machine Visions and Warped Dreams (Media: Art: Write: Now)
AI Art: Machine Visions and Warped Dreams (Media: Art: Write: Now)
$10.00$20.00
Create Stunning AI Art Using Craiyon, DALL-E and Midjourney: A Guide to AI-Generated Art For Everyone Using Craiyon, DALL-E and Midjourney (Graphic Design for Beginners)
Create Stunning AI Art Using Craiyon, DALL-E and Midjourney: A Guide to AI-Generated Art For Everyone Using Craiyon, DALL-E and Midjourney (Graphic Design for Beginners)
$22.00$45.00
ChatGPT For Cash Flow: 10 Easy Ways To Unlock The Power Of AI To Build A Side Hustle Empire & Make Money Online Fast (Make Money With AI)
ChatGPT For Cash Flow: 10 Easy Ways To Unlock The Power Of AI To Build A Side Hustle Empire & Make Money Online Fast (Make Money With AI)
$6.00$13.00
AI Art: Machine Visions and Warped Dreams (Media: Art: Write: Now)
AI Art: Machine Visions and Warped Dreams (Media: Art: Write: Now)
$10.00$20.00
Artificial Intelligence and the Arts: Computational Creativity, Artistic Behavior, and Tools for Creatives (Computational Synthesis and Creative Systems)
Artificial Intelligence and the Arts: Computational Creativity, Artistic Behavior, and Tools for Creatives (Computational Synthesis and Creative Systems)
$70.00$141.00
A Brief History of Artificial Intelligence: Unraveling the Threads of Machine Intelligence
A Brief History of Artificial Intelligence: Unraveling the Threads of Machine Intelligence
$8.00$16.00


  • Free delivery

    From $30

  • Support 24/7

    Online 24 hours

  • Free return

    365 a day

  • Payment method

    Secure payment

  • get promotion

    Secure payment

Information
Extras
My Account
opening Hours
From Monday to Sunday, from 9 to 19 o'clock every day. (Except holidays)
Free Shipping
Free shipping for orders over $30.00
Return & Exchange
We accept returns and exchanges to provide you with a safe and comfortable shopping experience.
Copyright (C) aboutlifting.net 2024 All Rights Reserved