-
AUTOMATED REASONING :
—RAJEEV GOR鈋, ALEXANDER LEITSCH, TOBIAS NIPKOW (EDS
索书号：TP181/GR
标准编码：3-540-42254-4
出版信息：SPRINGER, 2001. Berlin ; London :
主题词： AUTOMATIC THEOREM PROVINGCOMPUTER LOGIC
-
SEDUCTIVE REASONING :
—BY ELLEN ROONEY.
索书号：I06/RE
标准编码：1501707000
出版信息：CORNELL UNIVERSITY PRESS, c1989. [Place of publication not iden
主题词： CRITICISMLITERATUREPERSUASION (RHETORIC) IN LITERATURE.PLURALISM.
-
LOGIC PROGRAMMING AND NONMONOTONIC REASONING :
—THOMAS EITER, WOLFGANG FABER, MIROSLAW TRUSZCZYNSK
索书号：TP312/ET
标准编码：3540425934 (pbk. : a
出版信息：SPRINGER, c2001. Berlin ; New York :
主题词： LOGIC PROGRAMMINGNONMONOTONIC REASONING
-
MEDIA OF REASON: A THEORY OF RATIONALITY /
—MATTHIAS VOGEL; DARRELL ARNOLD
索书号：B0/VM
标准编码：9780231150583
出版信息：COLUMBIA UNIVERSITY PRESS, 2012.
-
THE SHAPE OF REASON: ARGUMENTATIVE WRITING IN COLLEGE
—.EDITED BY JOHN T. GAGE
索书号：H315/G132
标准编码：0-02-340420-5
出版信息：，MACMILLAN PUBLISHING CO.,INC c．1987 ：Nyu
-
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
-
TAKING SIDES :
—SELECTED, EDITED, AND WITH INTRODUCTIONS BY ROBERT
索书号：Q98/WRL
标准编码：0072548630
出版信息：MCGRAW-HILL/DUSHKIN, 2003. Guilford, Ct. :
-
NOW AND THEN :
—JUDITH A. STANFORD.
索书号：H315/SJA
标准编码：0072981210 (alk. pap
出版信息：MCGRAW-HILL, c2006. Boston :
主题词： COLLEGE READERS.ENGLISH LANGUAGEREPORT WRITINGCURRENT EVENTSREADERS
-
STILL HERE :
—PHOTOGRAPHS BY JOSEPH RODRIGUEZ ; INTRODUCTION BY
索书号：J43/RJ
标准编码：9781576874608 (hardc
出版信息：POWERHOUSE BOOKS, 2008. Brooklyn, NY :
主题词： AFRICAN AMERICANSDISASTER VICTIMSHURRICANE KATRINA, 2005COMMUNITY LIFE
-
TAKING SIDES :
—EDITED, SELECTED, AND WITH INTRODUCTIONS BY JOHN T
索书号：D5/RJT-3
标准编码：087967928X
出版信息：DUSHKIN PUB. GROUP, c1991. Guilford, CT :
主题词： WORLD POLITICSINTERNATIONAL RELATIONS