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

Quantitative Logic and Soft Computing 2010 [electronic resource] : Volume 2

0
索取号：
作者：Cao、 Bing-yuan.、Wang、 Guo-jun.、Chen、 Shui-li.、Guo、 Si-zong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model-Based Reasoning in Science and Technology [electronic resource] : Abduction, Logic, and Computational Discovery

0
索取号：
作者：Magnani、 Lorenzo.、Carnielli、 Walter.、Pizzi、 Claudio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

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.

Microwave Circuits for 24 GHz Automotive Radar in Silicon-based Technologies [electronic resource]

0
索取号：
作者：Issakov、 Vadim.、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.