Preface. Special Issue on Automated Reasoning with Analytic Tableaux and Related Methods

Zeitschriftenartikel

Autor(en):Bernhard Beckert und Lawrence Paulson
Zeitschrift:Journal of Automated Reasoning
Verleger:Springer-Verlag
Nummer:1–3
Band:38
Jahr:2007
Seiten:1-2

BibTeX

@Article{BeckertPaulson2007,
  author =       {Bernhard Beckert and Lawrence Paulson},
  journal =      {Journal of Automated Reasoning},
  title =        {Preface.
                  {S}pecial Issue on Automated Reasoning with Analytic Tableaux and 
                  Related Methods},
  volume =       {38},
  number =       {1--3},
  pages =        {1--2},
  publisher =    {Springer-Verlag},
  year =         {2007}
}