| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 15 |       | Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet: Resolution Decision Procedures. Handbook of Automated Reasoning 2001: 1791-1849 |
Selection of 1 from 21 records - Tanel Tammet has 15 coauthors
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)