Proceedings of the 6th International Workshop on First-Order Theorem Proving (2007)

First Author: Ranise (Editor)
Attributed to:  Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Technical Report