Peter Baumgartner; H.-J. Bürckert; Hubert Comon; Alan M. Frisch; Ulrich Furbach; Nil Murray; Uwe Petermann; Mark Stickel (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1994 S. 7 - 14

Erscheinungsjahr: 1994

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch