MPG.eBooks - Search Results - the lean ((foundation lectures) OR (foundation structures))

Search alternatives:
foundation structures » foundation structure , foundations structural , formation structures
foundation lectures » foundation features , foundation gestures , equation lectures

Cover Image

1

Automated Deduction — CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings

Published 1994

Springer Berlin Heidelberg

Table of Contents: “... environment -- LeanT A P: Lean tableau-based theorem proving -- FINDER: Finite domain enumerator system...”