Similar Listings
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