4th International Workshop on First-Order Theorem Proving- FTP'2003

Ouvrage (éditeur).Proceedings of the 4th international workshop on first-order theorem proving. FTP'2003 is the fourth in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of very recent work and discussion of research in progres