Special issue: Advances in first-order theorem proving (Q5929830)
From MaRDI portal
scientific article; zbMATH DE number 1586921
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Special issue: Advances in first-order theorem proving |
scientific article; zbMATH DE number 1586921 |
Statements
Special issue: Advances in first-order theorem proving (English)
0 references
18 April 2001
0 references
The articles of this volume will be reviewed individually.
0 references
Special issue
0 references
First-order theorem proving
0 references
