书目检索

简单检索 多字段检索 组合检索 检索结果

用户登录
全部 纸本图书 期刊
  • VIKINGS BEHAVING REASONABLY图书

    —ROBERT L. LIVELY

    索书号:I0/RLL

    标准编码:9781802700633

    出版信息:AMSTERDAM UNIVERSITY PRESS  2024  

  • THE AGE OF REASON /图书

    —JEAN-PAUL SARTRE,TRANSLATED FORM THE FRENCH BY ERI

    索书号:I565.4/SJP

    出版信息:BANTAM BOOKS ,  .  New York :

  • GOOD REASONS WITH CONTEMPORARY ARGUMENTS /图书

    —LESTER FAIGLEY, JACK SELZER.

    索书号:H315/FL-4

    标准编码:9780205616800

    出版信息:PEARSON LONGMAN,  c2009.  New York :

    主题词: ENGLISH LANGUAGEPERSUASION (RHETORIC)REPORT WRITING.

  • CRITIQUE OF PRACTICAL REASON图书

    —KANT,IMMANUEL

    索书号:H319.4/KI

    标准编码:7500426461

    出版信息:CHINA SOCIAL SCIENCES PUBLISHING HOUSE CHENGCHENG  1999  Beijing

  • 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

  • AUTOMATED REASONING :图书

    —RAJEEV GOR鈋, ALEXANDER LEITSCH, TOBIAS NIPKOW (EDS

    索书号:TP181/GR

    标准编码:3-540-42254-4

    出版信息:SPRINGER,  2001.  Berlin ; London :

    主题词: AUTOMATIC THEOREM PROVINGCOMPUTER LOGIC

  • 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

1 2 3 4 下一页 共: 39 条