Harald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Bd. 1632. Berlin: Springer 1999 S. 329 - 343

Erscheinungsjahr: 1999

ISBN/ISSN: 978-3-540-66222-8

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/3-540-48660-7_30

Volltext über DOI/URN