Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings

Automatic theorem provingLogic designElectronic data processingArtificial intelligenceSoftware engineeringLogic, symbolic and mathematical

For young readers