Proving Theorems with Computers (Q5149306)
From MaRDI portal
scientific article; zbMATH DE number 7308947
Language | Label | Description | Also known as |
---|---|---|---|
English | Proving Theorems with Computers |
scientific article; zbMATH DE number 7308947 |
Statements
Proving Theorems with Computers (English)
0 references
11 February 2021
0 references