RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
FTP'03
 4th International Workshop on First order Theorem Proving
Valencia, Spain, June 12-14, 2003

PROCEEDINGS

    Ingo Dahn
    Laurent Vigneron (Eds.)

    Proceedings of the 4th International Workshop on First order Theorem Proving, FTP'03
    Valencia, Spain, June 12-14, 2003

    ISBN:

    Depósito Legal:

    Impreso en España.

    Technical Report DSIC-II/10/03,
    http://www.dsic.upv.es
    Departamento de Sistemas Informáticos y Computación,
    Universidad Politécnica de Valencia, 2003.

  • Preface and Table of Contents (PDF)
  • Full Proceedings (PDF)
                                                                                                                                                                                                               

Last update June 2003 # sescobar@dsic.upv.es