Automated Reasoning
Automated Reasoning
Ashish Tiwari
,
Nicola Olivetti
Details
OL Work ID
OL20776311W
Subjects
Automatic theorem proving
Artificial intelligence
Logic programming
Find this book
Open Library