close this section of the libraryftp://ftp.dai.ed.ac.uk (2)
open this document and view contentsftp://ftp.dai.ed.ac.uk/pub/papers/OrderformRP600-690.ps, 19940620
Papers Order Form (June 20, 1994) Report No. UK Europe (Air) World (Surf) World (Air) 600 1.39 1.68 1.58 2.11 601 1.39 1.68 1.58 2.11 602 2.63 3.02 3.00 3.81 603 1.39 1.68 1.58 2.11 604 2.63 3.02 3.00 3.81 605 1.39 1.68 1.58 2.11 606 1.39 1.68 1.58 2.11 607 1.39 1.68 1.58 2.11 608 1.39 1.68 1.58 2.11
open this document and view contentsftp://ftp.dai.ed.ac.uk/pub/papers/Abstracts600-690.ps, 19940620
Department of Artificial Intelligence, University of Edinburgh. | List of Papers | June 20, 1994 1 HOW TO SOLVE IT BY INDUCTION BUNDY, Alan Aug'92 DAI Research Paper No. 600 We describe a computer program that proves theorems using mathematical induction. It is used to prove properties of computer