Hierarchic Reasoning in Local Theory Extensions
Robert Nieuwenhuis (Hrsg). Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings. Berlin: Springer 2005 S. 219 - 234
Erscheinungsjahr: 2005
ISBN/ISSN: 978-3-540-28005-7
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/11532231_16
| Geprüft: | Bibliothek |
