Alan Bundy (Hrsg). Automated Deduction - CADE-12: 12th International Conference on Automated Deduction; Nancy, France, June 26 – July 1, 1994 Proceedings. Bd. 814. Berlin: Springer 1994 S. 769 - 773

Erscheinungsjahr: 1994

ISBN/ISSN: 978-3-540-58156-7

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/3-540-58156-1_57

Volltext über DOI/URN