Implementation of a theorem-prover based on semantic tableaux
Implementation of a theorem-prover based on semantic tableaux
Steve Reeves
Details
OL Work ID
OL4463628W
Find this book
Open Library