Computational Logic
Computational Logic
Jörg H. Siekmann
,
John Woods
,
Dov M. Gabbay
Details
OL Work ID
OL26481692W
Subjects
Logic
Find this book
Open Library