Another look at automated theorem-proving II (Q3225748)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Another look at automated theorem-proving II |
scientific article |
Statements
Another look at automated theorem-proving II (English)
0 references
22 March 2012
0 references
automated theorem-proving
0 references
computer-assisted proof
0 references
proof checking
0 references
public key cryptography
0 references
encryption
0 references
