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

Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

0
索取号：
作者：Dawar、 Anuj.、Veith、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic and the Foundations of Game and Decision Theory-LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

0
索取号：
作者：Bonanno、 Giacomo.、L枚we、 Benedikt.、Hoek、 Wiebe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

0
索取号：
作者：Blass、 Andreas.、Dershowitz、 Nachum.、Reisig、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Logic in Multi-Agent Systems [electronic resource] : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

0
索取号：
作者：Dix、 J眉rgen.、Leite、 Jo茫o.、Governatori、 Guido.、Jamroga、 Wojtek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Interfaces: Explorations in Logic, Language and Computation [electronic resource] : ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers

0
索取号：
作者：Icard、 Thomas.、Muskens、 Reinhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Specification and Verification of Declarative Open Interaction Models [electronic resource] : A Logic-Based Approach

0
索取号：
作者：Montali、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP

0
索取号：
作者：Dovier、 Agostino.、Pontelli、 Enrico.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

0
索取号：
作者：Aloni、 Maria.、Bastiaanse、 Harald.、Jager、 Tikitu.、Schulz、 Katrin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

0
索取号：
作者：Governatori、 Guido.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Conceptual Graphs and Fuzzy Logic [electronic resource] : A Fusion for Representing and Reasoning with Linguistic Information

0
索取号：
作者：Cao、 Tru Hoang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Inductive Logic Programming [electronic resource] : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers

0
索取号：
作者：Raedt、 Luc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic, Language, Information and Computation [electronic resource] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

0
索取号：
作者：Dawar、 Anuj.、Queiroz、 Ruy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Linguistic Fuzzy Logic Methods in Social Sciences [electronic resource]

0
索取号：
作者：Arfi、 Badredine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

0
索取号：
作者：Schreye、 Danny.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Functional and Logic Programming [electronic resource] : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

0
索取号：
作者：Blume、 Matthias.、Kobayashi、 Naoki.、Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

0
索取号：
作者：Escobar、 Santiago.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院