FTP
International Workshop on First-Order Theorem Proving
-
1998
FTP 1998
- 23-25 November
- Vienna, Austria
-
Automated Deduction in Classical and Non-Classical Logics
19 Papers
1 Volume