Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003 (Q556727)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003 |
scientific article |
Statements
Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003 (English)
0 references
23 June 2005
0 references
The articles of this volume will be reviewed individually. The preceding conference (3rd, 2000) has been reviewed (see Zbl 1040.03501).
0 references