Special issue: First order theorem proving. Selected papers from the 3rd workshop, FTP 2000, St Andrews, Scotland, UK, July 3–5, 2000. (English) Zbl 1040.03501
The articles of this volume will be reviewed individually.
MSC:
03-06 | Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations |
68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |
03B35 | Mechanization of proofs and logical operations |
68T15 | Theorem proving (deduction, resolution, etc.) (MSC2010) |
00B25 | Proceedings of conferences of miscellaneous specific interest |