Browse "CS-Conference Papers(학술회의논문)" by Author Kim, Byeong Man
Showing results 1 to 2 of 2
| A New Algorithm for Subsumption Test Kim, Byeong Man; Lee, Sang Ho; Maeng, SeungRyoul; Cho, Jung Wan, Int'l Conference on Fifth Generation Computer Systems, pp.643 - 649, 1992 |
| AND Parallelism in Connection Graph Proof Procedure Kim, Byeong Man; Lee, Sang Ho; Maeng, SeungRyoul; Cho, Jung Wan, 2nd Pacific Rim International Conference on Artificial Intelligence, pp.732 - 738, 1992 |
Discover
Type
- 102 Article
- 7,391 Conference
- 1 Thesis
Date issued
- 938 2020 - 2024
- 2,486 2010 - 2019
- 2,318 2000 - 2009
- 1,422 1990 - 1999
- 326 1980 - 1989