Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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

Zeitschriftenartikel

Autor(en):Bernhard Beckert und Lawrence C. Paulson
Zeitschrift:Journal of Automated Reasoning
Verleger:Springer-Verlag
Nummer:1-3
Band:38
Jahr:2007
Seiten:1-2
DOI:10.1007/s10817-006-9058-6

BibTeX

@Article{BeckertPaulson2007,
  author =       {Bernhard Beckert and {Lawrence C.} 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},
  doi =          {10.1007/s10817-006-9058-6},
  month =        apr,
  year =         {2007}
}