Automated Reasoning
Automated Reasoning
Viorica Sofronie-Stokkermans
,
Nicolas Peltier
Details
OL Work ID
OL26503182W
Subjects
Artificial intelligence
Computer programming
Computer software, development
Logic, symbolic and mathematical
Find this book
Open Library