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

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic -- Nonclassical Logics...”