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

Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

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

Computational Logic in Multi-Agent Systems [electronic resource] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

0
索取号：
作者：Inoue、 Katsumi.、Satoh、 Ken.、Toni、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

0
索取号：
作者：Beckmann、 Arnold.、Dimitracopoulos、 Costas.、L枚we、 Benedikt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logic Synthesis for Compositional Microprogram Control Units [electronic resource]

0
索取号：
作者：Barkalov、 Alexander.、Titarenko、 Larysa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Fuzzy Logic in Action: Applications in Epidemiology and Beyond [electronic resource]

0
索取号：
作者：Massad、 Eduardo.、Ortega、 Neli Regina Siqueira.、Barros、 Laecio Carvalho.、Struchiner、 Claudio Jos茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Temporal Logic and State Systems [electronic resource]

0
索取号：
作者：Kr枚ger、 Fred.、Merz、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

0
索取号：
作者：Hermann、 Miki.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Science Logic [electronic resource] : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

0
索取号：
作者：脡sik、 Zolt谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Comprehensive Mathematics for Computer Scientists 1 [electronic resource] : Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)

0
索取号：
作者：Mazzola、 Guerino.、Milmeister、 G茅rard.、Weissmann、 Jody.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号：
作者：Etalle、 Sandro.、Truszczy艅ski、 Miros艂aw.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Function Algebras on Finite Sets [electronic resource] : A Basic Course on Many-Valued Logic and Clone Theory

0
索取号：
作者：Lau、 Dietlinde.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Deontic Logic and Artificial Normative Systems [electronic resource] : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings

0
索取号：
作者：Goble、 Lou.、Meyer、 John-Jules Ch.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Introduction to Fuzzy Logic using MATLAB [electronic resource]

0
索取号：
作者：Sivanandam、 S. N.、Sumathi、 S.、Deepa、 S. N.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

0
索取号：
作者：Hnich、 Brahim.、Carlsson、 Mats.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Logic in Multi-Agent Systems [electronic resource] : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers

0
索取号：
作者：Toni、 Francesca.、Torroni、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Parallel and Distributed Logic Programming [electronic resource] : Towards the Design of a Framework for the Next Generation Database Machines

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