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

Logic Programming and Nonmonotonic Reasoning [electronic resource] : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

0
索取号：
作者：Baral、 Chitta.、Greco、 Gianluigi.、Leone、 Nicola.、Terracina、 Giorgio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers

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

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

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

Computational Logic in Multi-Agent Systems [electronic resource] : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

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

A Science of Operations [electronic resource] : Machines, Logic and the Invention of Programming

0
索取号：
作者：Priestley、 Mark.、SpringerLink (Online service)、
出版社：London : Springer London, 2011.

Elementary Logic [electronic resource] : For Software Development

0
索取号：
作者：Lover、 Robert.、SpringerLink (Online service)、
出版社：London : Springer London, 2008.

Sets, Logic and Maths for Computing [electronic resource]

0
索取号：
作者：Makinson、 David.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2008.

Advanced Fuzzy Logic Technologies in Industrial Applications [electronic resource]

0
索取号：
作者：Bai、 Ying.、Zhuang、 Hanqi.、Wang、 Dali.、SpringerLink (Online service)、
出版社：London : Springer London, 2006.

Logic Programming with Prolog [electronic resource]

0
索取号：
作者：Bramer、 Max.、SpringerLink (Online service)、
出版社：London : Springer London, 2005.

Automating Business Modelling [electronic resource] : A Guide to Using Logic to Represent Informal Methods and Support Reasoning

0
索取号：
作者：Chen-Burger、 Yun-Heh.、Robertson、 Dave.、SpringerLink (Online service)、
出版社：London : Springer London, 2005.

Fuzzy Logic, Identification and Predictive Control [electronic resource]

0
索取号：
作者：Espinosa、 Jairo.、Vandewalle、 Joos.、Wertz、 Vincent.、SpringerLink (Online service)、
出版社：London : Springer London, 2005.

Logic and the Organization of Information [electronic resource]

0
索取号：
作者：Frick茅、 Martin.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2012.

Disruptive Logic Architectures and Technologies [electronic resource] : From Device to System Level

0
索取号：
作者：Gaillardon、 Pierre-Emmanuel.、O鈥機onnor、 Ian.、Clermidy、 Fabien.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2012.

Mathematical Logic for Computer Science [electronic resource]

0
索取号：
作者：Ben-Ari、 Mordechai.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2012.

Sets, Logic and Maths for Computing [electronic resource]

0
索取号：
作者：Makinson、 David.、SpringerLink (Online service)、
出版社：London : Springer London, 2012.

Mathematical Logic and Model Theory [electronic resource] : A Brief Introduction

0
索取号：
作者：Prestel、 Alexander.、Delzell、 Charles N.、SpringerLink (Online service)、
出版社：London : Springer London, 2011.