Logic Programming and Automated Reasoning: 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993, Proceedings
아직 평점이 없습니다
May 12, 2009
·
영어
·
페이퍼백
(436 페이지)