David McAllester (Hrsg). Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings. Berlin: Springer 2000 S. 465 - 481

Erscheinungsjahr: 2000

ISBN/ISSN: 978-3-540-67664-5

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/10721959_38

Volltext über DOI/URN