Skip to content
Vinony

Automated practical reasoning

by Dongming Wang

Cover of Automated practical reasoning

No description available.

Automatic theorem provingReasoningPractical reasonSymbolic and mathematical LogicComputer scienceSoftware engineeringAlgebraAlgorithmsData processing