Interactive Theorem Proving
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings by Jeremy Avigad
English | PDF | 2018 | 656 Pages | ISBN : 3319948202 | 22.58 MB
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.
Author: Bo0mB0om
Spanish Civil War Tanks The Proving Ground for Blitzkrieg
Steven J. Zaloga, "Spanish Civil War Tanks: The Proving Ground for Blitzkrieg (New Vanguard)"
ISBN: 1846035120 | 2011 | EPUB | 48 pages | 13 MB
Author: Bo0mB0om
Automated Inequality Proving And Discovering
Automated Inequality Proving And Discovering
by Bican Xia and Lu Yang
English | 2017 | ISBN: 9814759112 | 345 Pages | PDF | 6.24 MB
This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering.
Author: manhneovn