Recent developments in mega's proof search programming language (Q5176482)
From MaRDI portal
scientific article; zbMATH DE number 6408650
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recent developments in mega's proof search programming language |
scientific article; zbMATH DE number 6408650 |
Statements
Recent developments in mega's proof search programming language (English)
0 references
26 February 2015
0 references
