Skip to content
Book Glossary
Cover of Automated practical reasoning

Automated practical reasoning

by Dongming Wang

Automatic theorem provingReasoningPractical reasonSymbolic and mathematical LogicComputer scienceSoftware engineeringAlgebraAlgorithms
Writing a summary for young readers…

For young readers

Book data: Open Library