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

Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz

0
索取号：
作者：Erdem、 Esra.、Lee、 Joohyung.、Lierler、 Yuliya.、Pearce、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

0
索取号：
作者：Schrijvers、 Tom.、Thiemann、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

0
索取号：
作者：Constable、 Robert L.、Silva、 Alexandra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Logic Programs, Norms and Action [electronic resource] : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

0
索取号：
作者：Artikis、 Alexander.、Craven、 Robert.、Kesim 脟i莽ekli、 Nihan.、Sadighi、 Babak.、Stathis、 Kostas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 18th International Conference, LPAR-18, M茅rida, Venezuela, March 11-15, 2012. Proceedings

0
索取号：
作者：Bj酶rner、 Nikolaj.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Logic Circuit Design [electronic resource] : Selected Methods

0
索取号：
作者：Vingron、 Shimon P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Instrumentation, Measurement, Circuits and Systems [electronic resource]

0
索取号：
作者：Zhang、 Tianbiao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Type-2 Fuzzy Logic in Intelligent Control Applications [electronic resource]

0
索取号：
作者：Castillo、 Oscar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

0
索取号：
作者：Ditmarsch、 Hans.、Lang、 J茅r么me.、Ju、 Shier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Fuzzy Logic and Applications [electronic resource] : 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings

0
索取号：
作者：Fanelli、 Anna Maria.、Pedrycz、 Witold.、Petrosino、 Alfredo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Microelectronic Systems [electronic resource] : Circuits, Systems and Applications

0
索取号：
作者：Heuberger、 Albert.、Elst、 G眉nter.、Hanke、 Randolf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Emotional Cognitive Neural Algorithms with Engineering Applications [electronic resource] : Dynamic Logic: FromVague to Crisp

0
索取号：
作者：Perlovsky、 Leonid.、Deming、 Ross.、Ilin、 Roman.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions

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

Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

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

Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

0
索取号：
作者：Leite、 Jo茫o.、Torroni、 Paolo.、脜gotnes、 Thomas.、Boella、 Guido.、Torre、 Leon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic, Language, and Computation [electronic resource] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

0
索取号：
作者：Bezhanishvili、 Nick.、L枚bner、 Sebastian.、Schwabe、 Kerstin.、Spada、 Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.