MPI-INF Logo
MPI-INF/SWS Research Reports 1991-2017

2. Number - only D2

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: http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1993-213

Hide details for BibTeXBibTeX
@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},
}