Automated Reasoning
Automated Reasoning
Stephan Schulz
,
Didier Galmiche
,
Roberto Sebastiani
Details
OL Work ID
OL20821289W
Subjects
Automatic theorem proving
Logic, symbolic and mathematical
Find this book
Open Library