Search alternatives:
"fri" » "afri"
"frei" » "freie", "drei", "fred"
Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... -- An improved method for adding equality to free variable semantic tableaux -- Proof search...”