FTP

International Workshop on First-Order Theorem Proving

Search within this conference

Search

1. 1998

   FTP 1998

   • 23-25 November
   • Vienna, Austria

   • Automated Deduction in Classical and Non-Classical Logics

     19 Papers

     1 Volume