Go back
Towards Mechanized Mathematical Assistants 14th Symposium Calculemus 2007 6th International Conference Mkm 2007 Hagenberg Austria June 27 30(2007th Edition)
Authors:
Manuel Kauers ,Manfred Kerber ,Robert Miner ,Wolfgang Windsteiger
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 30 Million+ solutions
Free ✝
Ask 50 Questions from expert
AI-Powered Answers
✝ 7 days-trial
Total Price:
$0
List Price: $4.99
Savings: $4.99(100%)
Solution Manual Includes
Access to 30 Million+ solutions
Ask 50 Questions from expert
AI-Powered Answers
24/7 Tutor Help
Detailed solutions for Towards Mechanized Mathematical Assistants 14th Symposium Calculemus 2007 6th International Conference Mkm 2007 Hagenberg Austria June 27 30
Price:
$9.99
/month
Book details
ISBN: 3540730834, 978-3540730835
Book publisher: Springer
Frequently Bought Together
Data Analytics For Accounting - 3rd Edition
Vernon Richardson
ISBN: 1264444907, 9781264444908
$0 $60.00
Fundamentals Of Database Systems - 7th Edition
Ramez Elmasri
ISBN: 0133970779, 978-0133970777
$0 $175.65
Foundations Of Augmented Cognition Third International Conference Fac 2007 Held As Part Of Hci International 2007 Beijing China July 22 27 - 2007th Edition
Dylan D Schmorrow
ISBN: 3540732152, 978-3540732150
$0 $22.53
Agent And Multi Agent Systems Technologies And Applications First Kes International Symposium Kes Amsta 2007 Wroclaw Poland May 31 June 1 2007 - 2007th Edition
Adam Grzech
ISBN: 3540728295, 978-3540728290
$0 $55.70