THEO

THEO automated theorem-proving program.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Newborn, Monty: Automated theorem proving. Theory and practice. With CD-ROM (2001)