Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings
by Uli Sattler
No description available.
Automatic theorem provingLogic designElectronic data processingArtificial intelligenceSoftware engineeringLogic, symbolic and mathematical