![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 14 | Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr: SETHEO and E-SETHEO - The CADE-13 Systems. J. Autom. Reasoning 18(2): 237-246 (1997) |
Selection of 1 from 14 records - Joachim Steinbach has 12 coauthors
Copyright © 2009-12-07 by Michael Ley (ley@uni-trier.de)