MPI-I-93-213
Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, 1993
Basin, David A. and Hähnle, R. and Fronhöfer, B. and Posegga, J. and Schwind, C. (ed.)
1993, ? pages.
.
Status: available - back from printing
URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1993-213
BibTeX
@TECHREPORT{BasinHähnleFronhöferPoseggaSchwind93,
TITLE = {Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, 1993},
TYPE = {Research Report},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
NUMBER = {MPI-I-93-213},
YEAR = {1993},
ISSN = {0946-011X},
}