Computer programs and mathematical proofs (Q56335877)
Jump to navigation
Jump to search
article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computer programs and mathematical proofs |
article |
Statements
Computer programs and mathematical proofs (English)
0 references
September 1991
0 references
13
0 references
4
0 references
45-48
0 references
1 reference