No label defined (Q4817211)
From MaRDI portal
scientific article; zbMATH DE number 2101985
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 2101985 |
Statements
22 September 2004
0 references
mechanical theorem prover
0 references
proof checker
0 references
programming language
0 references