Automated practical reasoning
Automated practical reasoning
Dongming Wang
Details
OL Work ID
OL18252926W
Subjects
Automatic theorem proving
Reasoning
Practical reason
Symbolic and mathematical Logic
Computer science
Software engineering
Algebra
Algorithms
Data processing
Find this book
Open Library