Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... an Elementary Sublanguage of Set Theory -- STRIP: Structural Sharing for Efficient Proof-Search -- RACER System...”