Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1994
Erscheinungsjahr: 1994
Publikationstyp: Buch (Konferenzband)
Sprache: Englisch
| Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Herausgeber)
Bürckert, H.-J. (Herausgeber)
Comon, Hubert (Herausgeber)
Frisch, Alan M. (Herausgeber)
Furbach, Ulrich (Herausgeber)
Murray, Nil (Herausgeber)
Petermann, Uwe (Herausgeber)
Stickel, Mark (Herausgeber)
