Interactive Theorem Proving - 9783642323461

Blanchette - Interactive Theorem Proving 7th International Conferenc - X555z

Xiang - Data and Knowledge Engineering Third International Conferenc - X555z

Malloy - Software Language Engineering Third International Conferenc - X555z

Klein - Interactive Theorem Proving 5th International Conference IT - X555z

Ronzhin - Interactive Collaborative Robotics Third International Con - X555z

Dorronsoro - Optimization and Learning Third International Conferenc - X555z

Sandford - Using Sophisticated Models in Resolution Theorem Proving - - X555z