@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}
}
Preface: Special Issue on Automated Reasoning with Analytic Tableaux and Related Methods
| 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 |