Automatic Deduction in an AI Geometry Book.

Pedro Quaresma

Browse the full AISC paper archive.