Search alternatives:
"heuristics" » "heuristic"
Cover Image
Read Now

1
Published 1970
Springer Berlin Heidelberg
Table of Contents: “... -- Definitional approach to automatic demonstration -- Heuristic interest of using metatheorems -- A proof...”