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

Risk Management Technologies [electronic resource] : With Logic and Probabilistic Models

0
索取号:
作者:Solozhentsev、 E.D.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2012.

Between Logic and Reality [electronic resource] : Modeling Inference, Action and Understanding

0
索取号:
作者:Trobok、 Majda.、Mi拧膷evi膰、 Nenad.、沤arni膰、 Berislav.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2012.

Adiabatic Logic [electronic resource] : Future Trend and System Level Perspective

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

Strict Finitism and the Logic of Mathematical Applications [electronic resource]

0
索取号:
作者:Ye、 Feng.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands : Imprint: Springer, 2011.

Games, Norms and Reasons [electronic resource] : Logic at the Crossroads

0
索取号:
作者:van Benthem、 Johan.、Gupta、 Amitabha.、Pacuit、 Eric.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands : Imprint: Springer, 2011.

Handbook of Philosophical Logic [electronic resource] : Volume 15

0
索取号:
作者:Gabbay、 Dov M.、Guenthner、 Franz.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2011.

Handbook of Philosophical Logic [electronic resource] : Volume 16

0
索取号:
作者:Gabbay、 Dov M.、Guenthner、 Franz.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2011.

Logic, Mathematics, Philosophy, Vintage Enthusiasms [electronic resource] : Essays in Honour of John L. Bell

0
索取号:
作者:DeVidi、 David.、Hallett、 Michael.、Clarke、 Peter.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2011.

Proof, Computation and Agency [electronic resource] : Logic at the Crossroads

0
索取号:
作者:van Benthem、 Johan.、Gupta、 Amitabha.、Parikh、 Rohit.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2011.

Aristotle's Modal Proofs [electronic resource] : Prior Analytics A8-22 in Predicate Logic

0
索取号:
作者:Rini、 Adriane.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2011.

Hybrid Logic and its Proof-Theory [electronic resource]

0
索取号:
作者:Bra眉ner、 Torben.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2011.

Gentzen Calculi for Modal Propositional Logic [electronic resource]

0
索取号:
作者:Poggiolesi、 Francesca.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2011.

Towards a Design Flow for Reversible Logic [electronic resource]

0
索取号:
作者:Wille、 Robert.、Drechsler、 Rolf.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Procedural Semantics for Hyperintensional Logic [electronic resource] : Foundations and Applications of Transparent Intensional Logic

0
索取号:
作者:Du啪铆、 Marie.、Jespersen、 Bjorn.、Materna、 Pavel.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Logic and Philosophy of Mathematics in the Early Husserl [electronic resource]

0
索取号:
作者:Centrone、 Stefania.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2010.

Strategy for Action-I [electronic resource] : The Logic and Context of Strategic Management

0
索取号:
作者:Gandellini、 Giorgio.、Pezzi、 Alberto.、Venanzi、 Daniela.、SpringerLink (Online service)、
出版社:Milano : Springer Milan, 2012.
最近添加的分类