Search alternatives:
foundation lectures » foundation features, foundation gestures, foundation structures
lean foundation » design foundation, learning foundations
Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... environment -- LeanT A P: Lean tableau-based theorem proving -- FINDER: Finite domain enumerator system...”