Search alternatives:
"commenting" » "commencing", "committing", "complementing"
Cover Image
Read Now

1
by Wu, Wen-tsün
Published 1994
Springer Vienna
Table of Contents: “...3 Mechanization of theorem proving in geometry and Hilbert’s mechanization theorem -- 3.1 Comments...”