Similar Listings
Theorem Proving with Analytic Tableaux and Related Methods: 4th International
Interactive Theorem Proving Third International Conference ITP 20
Theorem Proving with Analytic Tableaux and Related Methods: 4th International
Interactive Theorem Proving 7th International Conference ITP 2016
Interactive Theorem Proving 6th International Conference ITP 2015
Interactive Theorem Proving 8th International Conference ITP 2017
Automated Theorem Proving: A Logical Basis Loveland, Donald W.:
Higher Order Logic Theorem Proving and Its Applications 7th Inter