dblp.uni-trier.de www.uni-trier.de

6. TABLEAUX 1997: Pont-à-Mousson, France

Didier Galmiche (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings. Lecture Notes in Computer Science 1227 Springer 1997, ISBN 3-540-62920-3 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/tableaux/1997,
  editor    = {Didier Galmiche},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods,
               International Conference, TABLEAUX '97, Pont-{\`a}-Mousson,
               France, May 13-16, 1997, Proceedings},
  booktitle = {TABLEAUX},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1227},
  year      = {1997},
  isbn      = {3-540-62920-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Contributed Papers

Copyright © Mon Nov 2 21:15:39 2009 by Michael Ley (ley@uni-trier.de)