Interactive Theorem Proving - 9783319431437

Interactive Theorem Proving Third International Conference ITP 20

Interactive Theorem Proving - 9783319221014

Interactive Theorem Proving - 9783642228629

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par

Interactive Theorem Proving and Program Development - Bertot, Yves,Castéran, Pie

Interactive Theorem Proving - 9783319661063

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat