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

Functional and Logic Programming [electronic resource] : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

0
索取号：
作者：Hagiya、 Masami.、Wadler、 Philip.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic

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

Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach

0
索取号：
作者：Penczek、 Wojciech.、P贸lrola、 Agata.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fuzzy Logic and Applications [electronic resource] : 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers

0
索取号：
作者：Ges煤、 Vito.、Masulli、 Francesco.、Petrosino、 Alfredo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

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

Fuzzy Logic and Applications [electronic resource] : 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

0
索取号：
作者：Bloch、 Isabelle.、Petrosino、 Alfredo.、Tettamanzi、 Andrea G. B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Integration of Fuzzy Logic and Chaos Theory [electronic resource]

0
索取号：
作者：Li、 Zhong.、Halang、 Wolfgang A.、Chen、 Guanrong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fuzzy Equational Logic [electronic resource]

0
索取号：
作者：B臎lohl谩vek、 Radim.、Vychodil、 Vil茅m.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Fuzzy Logic in Financial Analysis [electronic resource]

0
索取号：
作者：Gil-Lafuente、 Anna Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

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

Recent Advances in Constraints [electronic resource] : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Faltings、 Boi V.、Petcu、 Adrian.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Applications of Declarative Programming and Knowledge Management [electronic resource] : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

0
索取号：
作者：Seipel、 Dietmar.、Hanus、 Michael.、Geske、 Ulrich.、Bartenstein、 Oskar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Logic Programming [electronic resource] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

0
索取号：
作者：Gabbrielli、 Maurizio.、Gupta、 Gopal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Science Logic [electronic resource] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

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

Computational Logic in Multi-Agent Systems [electronic resource] : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Leite、 Jo茫o.、Torroni、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

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