Interactive Theorem Proving 8th International Conference ITP 2017

Interactive Theorem Proving - 9783319661063

Ronzhin - Interactive Collaborative Robotics 8th International Confe - X555z

Van Eekelen - Interactive Theorem Proving Second International Confe - X555z

Iurgel - Interactive Storytelling Second Joint International Confere - X555z

Kammller - Interactive Theorem Proving in Software Engineering - New - X555z

Automated Theorem Proving: A Logical Basis Loveland, Donald W.:

Interactive Theorem Proving Third International Conference ITP 20