Open Access System for Information Sharing

Login Library

Search Result

Current filters:
Current filters:
Current filters:
Add filters:Use filters to refine the search results.
Researcher hits:

Results 1-1 of 1 (Search time: 0.003 seconds).
Item hits:
Issue DateTitle
2014-Feb

Journal of Automated Reasoning, vol. 52, no. 2, page. 215 - 239, 2014-02

Park, J; Seo, J; Park, S; Lee, G

1

Browse