Automatic Deduction in an AI Geometry Book (Q6108829)
From MaRDI portal
scientific article; zbMATH DE number 7704996
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic Deduction in an AI Geometry Book |
scientific article; zbMATH DE number 7704996 |
Statements
Automatic Deduction in an AI Geometry Book (English)
0 references
30 June 2023
0 references
