![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 1 | Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner: WALDMEISTER - High-Performance Equational Deduction. J. Autom. Reasoning 18(2): 265-270 (1997) |
Selection of 1 from 6 records - Roland Vogt has 15 coauthors
Copyright © 2009-11-26 by Michael Ley (ley@uni-trier.de)