Similar Listings
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied ...
Interactive Theorem Proving - 9783319221014
Interactive Theorem Proving - 9783642323461
Interactive Theorem Proving - 9783642228629
Interactive Theorem Proving - 9783319661063
Interactive Theorem Proving - 9783319089690
Interactive Theorem Proving 7th International Conference ITP 2016
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par