Interactive Theorem Proving 9th International Conference Itp 2018 Held As Part Of The Federated Logic Conference Floc 2018 Oxford Uk July 9 12(1st Edition)
Authors:
Jeremy Avigad ,Assia Mahboubi
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3319948202, 978-3319948201
Book publisher: Springer
Frequently Bought Together
Clinical Laboratory Hematology - 4th Edition
Shirlyn B McKenzie
ISBN: 013470939X, 9780134709390
$0 $118.00
Nonlinear Analysis Of Thin Walled Structures Statics Dynamics And Stability - 2001st Edition
James F Doyle
ISBN: 0387952160, 978-0387952161
$0 $51.16
Fundamentals Of Corporate Finance - 13th Edition
Stephen Ross
ISBN: 1265553602, 978-1265553609
$0 $142.99
Engineering Mechanics Statics - 4th Edition
Anthony Bedford
ISBN: 0131463233, 978-0131463233
$0 $5.40
Chatgpt Resume Writing Handbook How To Use Chatgpt To Write Resumes That Land Interviews And Secure Lucrative Jobs Every Time You Apply - 1st Edition
Mark S Carter
ISBN: B0C7RXKKDD
$0 $29.95
Volume Hybrid And Classic Lash Extensions A Comprehensive Guide For Clients - 1st Edition
Kayla Collins
ISBN: B0CPDWHCN8
$0 $0.00