Plane geometry theorem proving using forward chaining (Q1215410)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Plane geometry theorem proving using forward chaining |
scientific article |
Statements
Plane geometry theorem proving using forward chaining (English)
0 references
1975
0 references
