Rippling
Rippling
David Basin
,
Andrew Ireland
,
Dieter Hutter
,
Alan Bundy
Details
OL Work ID
OL20999024W
Subjects
Automatic theorem proving
Logic, symbolic and mathematical
Symbolic and mathematical Logic
Find this book
Open Library