MPG.eBooks - Search Results - "fri"

Search alternatives:
"fri" » "frei", "afri"

Cover Image

1

Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

Table of Contents: “...A geometry theorem prover for macintoshes -- FRI: Failure-resistant induction in RRL -- Herky: High...”