![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 6 | Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan: Subsumption Algorithms Based on Search Trees. CAAP 1996: 135-148 |
Selection of 1 from 6 records - Ta Chen has 6 coauthors
Copyright © 2009-11-27 by Michael Ley (ley@uni-trier.de)