An international workshop on First-order Theorem Proving, FTP 1997, was organized by the guest editors in October 1997 at Schloss Hagenberg near Linz. Twenty-five extended abstracts were presented at the workshop and are available at http://www.logic.at/ftp97/. The workshop was successful and became a starting point for a call for paper for this special issue. Eighteen papers were submitted to this special issue, and with the help of thiry peer reviewers, eight were selected for publication.
Advances in first-order theorem proving
BONACINA, Maria Paola;
2000-01-01
Abstract
An international workshop on First-order Theorem Proving, FTP 1997, was organized by the guest editors in October 1997 at Schloss Hagenberg near Linz. Twenty-five extended abstracts were presented at the workshop and are available at http://www.logic.at/ftp97/. The workshop was successful and became a starting point for a call for paper for this special issue. Eighteen papers were submitted to this special issue, and with the help of thiry peer reviewers, eight were selected for publication.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
