Another look at automated theorem-proving (Q5443571)
From MaRDI portal
scientific article; zbMATH DE number 5237805
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Another look at automated theorem-proving |
scientific article; zbMATH DE number 5237805 |
Statements
Another look at automated theorem-proving (English)
0 references
21 February 2008
0 references
automated theorem-proving
0 references
proof-checking
0 references
public key cryptography
0 references
signatures
0 references
encryption
0 references
0 references
