Search
Articles
Journals
Title
Title
Author
Keyword
Abstract
Journal
CLC
Sign in
站点导航
Home
Journals
Articles
Latest Articles
Articles Ranking
Articles Overview
Home
>
Articles
>
Research and Realization of Reduction to Absurdity in Computer Automatic Reasoning System
Share
Share
DOI:
10.3969/j.issn.1671-6906.2009.02.004
Research and Realization of Reduction to Absurdity in Computer Automatic Reasoning System
Machine-generated Keywords：
Publication Date：
2009-01-01
JOURNAL OF ZHONGYUAN INSTITUTE OF TECHNOLOGY
ISSN：
1671-6906
Year, Vol.(Issue)：
2009,20(2)
