Automated Reasoning
Automated Reasoning
David Basin
,
Michael Rusinowitch
Details
OL Work ID
OL27433684W
Find this book
Open Library