First-Order Tableaux in Applications (Extended Abstract)
Kai Brünnler; George Metclfe (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Berlin: Springer 2011 S. 17 - 19
Erscheinungsjahr: 2011
ISBN/ISSN: 978-3-642-22118-7
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-22119-4_2
| Geprüft | Bibliothek |
