FTP 2000
uni-koblenz.deFirst-Order Theorem Proving. St. Andrews, Scotland; 3--5 July 2000. Proceedings available.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
First-Order Theorem Proving. St. Andrews, Scotland; 3--5 July 2000. Proceedings available.