A Geometric Procedure with Prover9 (Q4913864)
From MaRDI portal
scientific article; zbMATH DE number 6154723
Language | Label | Description | Also known as |
---|---|---|---|
English | A Geometric Procedure with Prover9 |
scientific article; zbMATH DE number 6154723 |
Statements
A Geometric Procedure with Prover9 (English)
0 references
16 April 2013
0 references