-
REASON AT WORK
—.EDITED BY STEVEN CAHN
索书号：B-49/C132
标准编码：0-15-575990-6
出版信息：，HARCOURT BRACE JOVANOVICH, PUBLISHERS c．1977 ：San Diego New York
-
REASON AT WORK
—/ STVEN M. CAHN...[ET AL].
索书号：B/CSM
标准编码：0-15-575990-6
出版信息：: HARCOURT BRACK JOVANOVIVCH, PUBLISHERS, 1982. San Diego
-
AUTOMATED REASONING :
—RAJEEV GOR鈋, ALEXANDER LEITSCH, TOBIAS NIPKOW (EDS
索书号：TP181/GR
标准编码：3-540-42254-4
出版信息：SPRINGER, 2001. Berlin ; London :
主题词： AUTOMATIC THEOREM PROVINGCOMPUTER LOGIC
-
LOGIC PROGRAMMING AND NONMONOTONIC REASONING :
—THOMAS EITER, WOLFGANG FABER, MIROSLAW TRUSZCZYNSK
索书号：TP312/ET
标准编码：3540425934 (pbk. : a
出版信息：SPRINGER, c2001. Berlin ; New York :
主题词： LOGIC PROGRAMMINGNONMONOTONIC REASONING
-
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING :
—ROBERT NIEUWENHUIS, ANDREI VORONKOV (EDS.).
索书号：TP312/NR
标准编码：3-540-42957-3 (pbk.)
出版信息：SPRINGER, c2001. Berlin :
主题词： LOGIC PROGRAMMINGAUTOMATIC THEOREM PROVINGARTIFICIAL INTELLIGENCE
-
CRITIQUE OF PRACTICAL REASON
—KANT,IMMANUEL
索书号：H319.4/KI
标准编码：7500426461
出版信息：CHINA SOCIAL SCIENCES PUBLISHING HOUSE CHENGCHENG 1999 Beijing
-
MORAL REASONING
—. BY VICTOR GRASSIAN
索书号：B82/G769
标准编码：0-13-600759-7
出版信息：，PRENTICE-HALL,INC c．1981 ：New Jersey
-
BASIC REASONING
—.EDITED BY EDWARD MACKINNON
索书号：B812/M153
标准编码：0-13-068024-9
出版信息：，PRENTICE-HALL,INC c．1985 ：New Jersey
-
PRACTICAL REASONING IN NATURAL LANGUAGE
—/ STEPHEN NAYLOR THOMAS.
索书号：B81-05/TNS-3
标准编码：0-13-692153-1
出版信息：: PREDTICU-HALL, INC., 1989. Englewood Cliffs
-
THE AGE OF REASON /
—JEAN-PAUL SARTRE,TRANSLATED FORM THE FRENCH BY ERI
索书号：I565.4/SJP
出版信息：BANTAM BOOKS , . New York :