Now showing items 1-1 of 1

    • Theorem Proving Algorithm 

      Artasanchez, Alberto (1989)
      The ability to prove theorems in mathematics is a good example of an intellectual faculty and one that is relevant to the construction of reasoning programs. Examples of such programs are the ones capable of finding ...