大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 reasoning 的图书(共171本)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings

0
索取号:
作者:Godo、 Llu铆s.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Case-Based Reasoning Research and Development [electronic resource] : 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings

0
索取号:
作者:Mu帽oz-脕vila、 H茅ctor.、Ricci、 Francesco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

0
索取号:
作者:Baral、 Chitta.、Greco、 Gianluigi.、Leone、 Nicola.、Terracina、 Giorgio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

0
索取号:
作者:Beckert、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Reasoning Web [electronic resource] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

0
索取号:
作者:Eisinger、 Norbert.、Ma艂uszy艅ski、 Jan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

0
索取号:
作者:Sutcliffe、 Geoff.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Interdisciplinary Public Health Reasoning and Epidemic Modelling: The Case of Black Death [electronic resource]

0
索取号:
作者:Christakos、 George.、Olea、 Ricardo A.、Serre、 Marc L.、Yu、 Hwa-Lung.、Wang、 Lin-Lin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Automating Business Modelling [electronic resource] : A Guide to Using Logic to Represent Informal Methods and Support Reasoning

0
索取号:
作者:Chen-Burger、 Yun-Heh.、Robertson、 Dave.、SpringerLink (Online service)、
出版社:London : Springer London, 2005.

Decentralized Reasoning in Ambient Intelligence [electronic resource]

0
索取号:
作者:Viterbo、 Jos茅.、Endler、 Markus.、SpringerLink (Online service)、
出版社:London : Springer London : Imprint: Springer, 2012.

Domain-Level Reasoning for Spoken Dialogue Systems [electronic resource]

0
索取号:
作者:B眉hler、 Dirk.、Minker、 Wolfgang.、SpringerLink (Online service)、
出版社:New York, NY : Springer New York, 2011.

Developing Students' Statistical Reasoning [electronic resource] : Connecting Research and Teaching Practice

0
索取号:
作者:Garfield、 Joan B.、Ben-Zvi、 Dani.、Chance、 Beth.、Medina、 Elsa.、Roseth、 Cary.、Zieffler、 Andrew.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2008.

Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems

0
索取号:
作者:Carnielli、 Walter.、Coniglio、 Marcelo.、Gabbay、 Dov M.、Gouveia、 Paula.、Sernadas、 Cristina.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2008.

Case-Based Approximate Reasoning [electronic resource]

0
索取号:
作者:H眉llermeier、 Eyke.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2007.

Constitutionalism and Legal Reasoning [electronic resource]

0
索取号:
作者:Torre、 Massimo La.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2007.

Methods of legal reasoning [electronic resource]

0
索取号:
作者:Stelmach、 Jerzy.、Brozek、 Bartosz.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2006.

ABDUCTIVE REASONING [electronic resource] : LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION

0
索取号:
作者:ALISEDA、 ATOCHA.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2006.
最近添加的分类