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

The power of logical thinking : easy lessons in the art of reasoning, and hard facts about its absence in our lives

0
索取号：
作者：Vos Savant、 Marilyn、 1946-、
出版社：New York : St. Martin's Griffin, 1997.

Rudolf Carnap and the Legacy of Logical Empiricism [electronic resource]

0
索取号：
作者：Creath、 Richard.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2012.

Friedrich Waismann - Causality and Logical Positivism [electronic resource]

0
索取号：
作者：McGuinness、 B.F.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2011.

Truth and Falsehood [electronic resource] : An Inquiry into Generalized Logical Values

0
索取号：
作者：Shramko、 Yaroslav.、Wansing、 Heinrich.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2012.

Logical Aspects of Computational Linguistics [electronic resource] : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

0
索取号：
作者：B茅chet、 Denis.、Dikovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Logical Aspects of Computational Linguistics [electronic resource] : 6th International Conference, LACL 2011, Montpellier, France, June 29 鈥ʵly 1, 2011. Proceedings

0
索取号：
作者：Pogodalla、 Sylvain.、Prost、 Jean-Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logical Analysis of Hybrid Systems [electronic resource] : Proving Theorems for Complex Dynamics

0
索取号：
作者：Platzer、 Andr茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logical Tools for Handling Change in Agent-Based Systems [electronic resource]

0
索取号：
作者：Gabbay、 Dov M.、Schlechta、 Karl.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

0
索取号：
作者：Artemov、 Sergei.、Nerode、 Anil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

0
索取号：
作者：Artemov、 Sergei N.、Nerode、 Anil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program and Verify Systems in Rewriting Logic

0
索取号：
作者：Clavel、 Manuel.、Dur谩n、 Francisco.、Eker、 Steven.、Lincoln、 Patrick.、Mart铆-Oliet、 Narciso.、Meseguer、 Jos茅.、Talcott、 Carolyn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logical and Relational Learning [electronic resource]

0
索取号：
作者：Raedt、 Luc De.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

0
索取号：
作者：Beckmann、 Arnold.、Berger、 Ulrich.、L枚we、 Benedikt.、Tucker、 John V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logical Foundations for Rule-Based Systems [electronic resource]

0
索取号：
作者：Lig锚za、 Antoni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logical Aspects of Computational Linguistics [electronic resource] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings

0
索取号：
作者：Blache、 Philippe.、Stabler、 Edward.、Busquets、 Joan.、Moot、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formalizing Medieval Logical Theories [electronic resource] : Suppositio, Consequentiae and Obligationes

0
索取号：
作者：Dutilh Novaes、 Catarina.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2007.