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
In [1] an elegant formulation of the first-order logic of proofs was given, FOLP. That report also p...
This book contains the abstracts of the papers presented at the International Conference on Computat...
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory...
An international workshop on First-order Theorem Proving, FTP 1997, was organized by the guest edit...
SIGLEAvailable from TIB Hannover: RO 6844(2000,5) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...
Ouvrage (éditeur).Proceedings of the 4th international workshop on first-order theorem proving. FTP'...
Ouvrage (éditeur). ISSN: 0168-7433 Journal of Automated ReasoningThis special issue of the Journal o...
AbstractThis volume contains the proceedings of FTP'2003, the fourth in a series of workshops intend...
A selection of papers presented at the First World Congress on Paraconsistency 1997status: publishe
First National Structural Engineering Conference 1987, Melbourne, 26-28 August 1987 : preprints of p...
The papers in this volume are revised and extended versions of communications presented at the First...
Manghi P, Schirrwagen J, Corcho O, Aryani A. Report on the First International Workshop on Reproduci...
This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 ...
The International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP'98), as the title sug...
This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods fo...
In [1] an elegant formulation of the first-order logic of proofs was given, FOLP. That report also p...
This book contains the abstracts of the papers presented at the International Conference on Computat...
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory...
An international workshop on First-order Theorem Proving, FTP 1997, was organized by the guest edit...
SIGLEAvailable from TIB Hannover: RO 6844(2000,5) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...
Ouvrage (éditeur).Proceedings of the 4th international workshop on first-order theorem proving. FTP'...
Ouvrage (éditeur). ISSN: 0168-7433 Journal of Automated ReasoningThis special issue of the Journal o...
AbstractThis volume contains the proceedings of FTP'2003, the fourth in a series of workshops intend...
A selection of papers presented at the First World Congress on Paraconsistency 1997status: publishe
First National Structural Engineering Conference 1987, Melbourne, 26-28 August 1987 : preprints of p...
The papers in this volume are revised and extended versions of communications presented at the First...
Manghi P, Schirrwagen J, Corcho O, Aryani A. Report on the First International Workshop on Reproduci...
This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 ...
The International Refinement Workshop and Formal Methods Pacific 1998 (IRW/FMP'98), as the title sug...
This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods fo...
In [1] an elegant formulation of the first-order logic of proofs was given, FOLP. That report also p...
This book contains the abstracts of the papers presented at the International Conference on Computat...
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory...
.jpg%3Fwidth%3D300&w=3840&q=75)
Add to ORKG