Similar Listings
Interactive Theorem Proving - 9783319431437
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied ...
Interactive Theorem Proving - 9783319221014
Interactive Theorem Proving - 9783642323461
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par
Interactive Theorem Proving and Program Development - Bertot, Yves,Castéran, Pie
Van Eekelen - Interactive Theorem Proving Second International Confe - X555z
Interactive Theorem Proving - 9783319661063