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

From Boolean Logic to Switching Circuits and Automata [electronic resource] : Towards Modern Information Technology

0
索取号：
作者：Stankovi膰、 Radomir S.、Astola、 Jaakko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Aspects of Mathematical Logic [electronic resource]

0
索取号：
作者：Casari、 E.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Fuzzy Logic-Based Algorithms for Video De-Interlacing [electronic resource]

0
索取号：
作者：Brox、 Piedad.、Baturone、 Iluminada.、S谩nchez-Solano、 Santiago.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

0
索取号：
作者：He、 Xiangdong.、Horty、 John.、Pacuit、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic Synthesis for FSM-Based Control Units [electronic resource]

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

Logic Programming and Nonmonotonic Reasoning [electronic resource] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

0
索取号：
作者：Erdem、 Esra.、Lin、 Fangzhen.、Schaub、 Torsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings

0
索取号：
作者：Gr盲del、 Erich.、Kahle、 Reinhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Recent Advances in Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

0
索取号：
作者：Oddi、 Angelo.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

0
索取号：
作者：Archibald、 Margaret.、Brattka、 Vasco.、Goranko、 Valentin.、L枚we、 Benedikt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Stochastic Coalgebraic Logic [electronic resource]

0
索取号：
作者：Doberkat、 Ernst-Erich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic Programming [electronic resource] : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

0
索取号：
作者：Hill、 Patricia M.、Warren、 David S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

0
索取号：
作者：Fisher、 Michael.、Sadri、 Fariba.、Thielscher、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Fuzzy Logic and Applications [electronic resource] : 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings

0
索取号：
作者：Ges霉、 Vito.、Pal、 Sankar Kumar.、Petrosino、 Alfredo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic, Language, Information and Computation [electronic resource] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

0
索取号：
作者：Ono、 Hiroakira.、Kanazawa、 Makoto.、Queiroz、 Ruy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applications of Declarative Programming and Knowledge Management [electronic resource] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, W眉rzburg, Germany, October 4-6, 2007, Revised Selected Papers

0
索取号：
作者：Seipel、 Dietmar.、Hanus、 Michael.、Wolf、 Armin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.

Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

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