—ROBERT L. LIVELY
索书号:I0/RLL
标准编码:9781802700633
出版信息:AMSTERDAM UNIVERSITY PRESS 2024
—JEAN-PAUL SARTRE,TRANSLATED FORM THE FRENCH BY ERI
索书号:I565.4/SJP
出版信息:BANTAM BOOKS , . New York :
—LESTER FAIGLEY, JACK SELZER.
索书号:H315/FL-4
标准编码:9780205616800
出版信息:PEARSON LONGMAN, c2009. New York :
主题词: ENGLISH LANGUAGEPERSUASION (RHETORIC)REPORT WRITING.
—KANT,IMMANUEL
索书号:H319.4/KI
标准编码:7500426461
出版信息:CHINA SOCIAL SCIENCES PUBLISHING HOUSE CHENGCHENG 1999 Beijing
—THOMAS EITER, WOLFGANG FABER, MIROSLAW TRUSZCZYNSK
索书号:TP312/ET
标准编码:3540425934 (pbk. : a
出版信息:SPRINGER, c2001. Berlin ; New York :
主题词: LOGIC PROGRAMMINGNONMONOTONIC REASONING
—ROBERT NIEUWENHUIS, ANDREI VORONKOV (EDS.).
索书号:TP312/NR
标准编码:3-540-42957-3 (pbk.)
出版信息:SPRINGER, c2001. Berlin :
主题词: LOGIC PROGRAMMINGAUTOMATIC THEOREM PROVINGARTIFICIAL INTELLIGENCE
—RAJEEV GOR鈋, ALEXANDER LEITSCH, TOBIAS NIPKOW (EDS
索书号:TP181/GR
标准编码:3-540-42254-4
出版信息:SPRINGER, 2001. Berlin ; London :
主题词: AUTOMATIC THEOREM PROVINGCOMPUTER LOGIC
—. BY VICTOR GRASSIAN
索书号:B82/G769
标准编码:0-13-600759-7
出版信息:,PRENTICE-HALL,INC c.1981 :New Jersey
—.EDITED BY EDWARD MACKINNON
索书号:B812/M153
标准编码:0-13-068024-9
出版信息:,PRENTICE-HALL,INC c.1985 :New Jersey
—/ STEPHEN NAYLOR THOMAS.
索书号:B81-05/TNS-3
标准编码:0-13-692153-1
出版信息:: PREDTICU-HALL, INC., 1989. Englewood Cliffs