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

Logic: A Brief Course [electronic resource]

0
索取号：
作者：Mundici、 Daniele.、SpringerLink (Online service)、
出版社：Milano : Springer Milan : Imprint: Springer, 2012.

Giuseppe Peano between Mathematics and Logic [electronic resource] : Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2鈥㬲008

0
索取号：
作者：Skof、 Fulvia.、SpringerLink (Online service)、
出版社：Milano : Springer Milan, 2011.

Value Determination of Supply Chain Initiatives [electronic resource] : A Quantification Approach Based on Fuzzy Logic and System Dynamics

0
索取号：
作者：Wessely、 Philip.、SpringerLink (Online service)、
出版社：Wiesbaden : Gabler, 2011.

Mathematical Logic [electronic resource] : Foundations for Information Science

0
索取号：
作者：Li、 Wei.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2010.

Logica Universalis [electronic resource] : Towards a General Theory of Logic

0
索取号：
作者：Beziau、 Jean-Yves.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2007.

Logica Universalis [electronic resource] : Towards a General Theory of Logic

0
索取号：
作者：Beziau、 Jean-Yves.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2005.

Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

0
索取号：
作者：Dur谩n、 Franciso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

0
索取号：
作者：Fisher、 Michael.、Torre、 Leon.、Dastani、 Mehdi.、Governatori、 Guido.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Logic, Language, Information and Computation [electronic resource] : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

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

Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

0
索取号：
作者：Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Inductive Logic Programming [electronic resource] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 鈥ugust 3, 2011, Revised Selected Papers

0
索取号：
作者：Muggleton、 Stephen H.、Tamaddoni-Nezhad、 Alireza.、Lisi、 Francesca A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

0
索取号：
作者：脜gotnes、 Thomas.、Broersen、 Jan.、Elgesem、 Dag.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

The Logic of Categorial Grammars [electronic resource] : A Deductive Account of Natural Language Syntax and Semantics

0
索取号：
作者：Moot、 Richard.、Retor茅、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

0
索取号：
作者：Bezhanishvili、 Nick.、Goranko、 Valentin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Logic, Language and Meaning [electronic resource] : 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers

0
索取号：
作者：Aloni、 Maria.、Kimmelman、 Vadim.、Roelofsen、 Floris.、Sassoon、 Galit W.、Schulz、 Katrin.、Westera、 Matthijs.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

New Directions in Logic, Language and Computation [electronic resource] : ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers

0
索取号：
作者：Lassiter、 Daniel.、Slavkovik、 Marija.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.