This volume, published as a Technical Report of RISC Linz, contains the extended abstracts of the papers presented at the First International Workshop on First-order Theorem Proving (FTP) held in Linz, Austria, in October 1997.
Notes of the First International Workshop on First-order Theorem Proving (FTP)
BONACINA, Maria Paola;
1997-01-01
Abstract
This volume, published as a Technical Report of RISC Linz, contains the extended abstracts of the papers presented at the First International Workshop on First-order Theorem Proving (FTP) held in Linz, Austria, in October 1997.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.