| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 10 |       | Keehang Kwon, Dae-Seong Kang, Jinsoo Kim: A Query System for Texts with Macros. IEICE Transactions 91-D(1): 145-147 (2008) |
| 9 | | Keehang Kwon, Dae-Seong Kang: Extending LogicWeb via Hereditary Harrop Formulas. IEICE Transactions 91-D(6): 1827-1829 (2008) |
Selection of 2 from 10 records - Keehang Kwon has 7 coauthors
Copyright © 2009-12-04 by Michael Ley (ley@uni-trier.de)