McRobbie, Michael A. (Hrsg). Automated deduction : proceedings / CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Berlin: Springer 1996 S. 221 - 225 (Lecture Notes in Computer Science ; 1104)

Erscheinungsjahr: 1996

ISBN/ISSN: 3-540-61511-3

Publikationstyp: Buchbeitrag (Konferenzbeitrag)

Sprache: Englisch

Doi/URN: 10.1007/3-540-61511-3_83

Volltext über DOI/URN