-
176. Interactive Theorem Proving and Program Development
by Yves Bertot; Pierre Castéran
eBook See More Details
2004, Springer Nature
eBook ISBN: 9783540208549
Edition: 2004 edition
Format: PDF eBook
Digital download
$99.00
-
177. Truth, Existence and Explanation
eBook See More Details
2018, Springer Nature
eBook ISBN: 9783319933412
Edition: 2018 edition
Format: EPUB eBook
Digital download
$26.70
-
178. Logics for Computer Science
by Anita Wasilewska
eBook See More Details
2018, Springer Nature
eBook ISBN: 9783319925905
Edition: 2018 edition
Format: EPUB eBook
Digital download
$41.70
-
179. Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
eBook See More Details
2018, Springer Nature
eBook ISBN: 9783319747712
Edition: 2018 edition
Format: PDF eBook
Digital download
$26.70
-
180. Theoretical Aspects of Computing-Ictac 2017
eBook See More Details
2017, Springer Nature
eBook ISBN: 9783319677286
Edition: 2017 edition
Format: EPUB eBook
Digital download
$16.50
|
