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

1
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... for intermediate propositional logics -- Lean induction principles for tableaux -- Tableaux for diagnosis...”