Logic Programming and Automated Reasoning: 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993, Proceedings
まだ評価がありません
May 12, 2009
·
英語
·
ペーパーバック
(436 ページ)