TOP
紅利積點抵現金,消費購書更貼心
搜尋結果 /

Applied Logic

19
1 / 1
出版日:2012/10/06 作者:Maarten Marx; Yde Venema  出版社:Springer-Verlag New York Inc  裝訂:平裝
Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of t
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2010/11/29 作者:Torben Brauner  出版社:Springer Verlag  裝訂:精裝
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (wher
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1999/03/01 作者:Sven Ove Hansson  出版社:Kluwer Academic Pub  裝訂:平裝
The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable to both human b
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2008/03/05 作者:Walter Carnielli; Marcelo Coniglio; Dov M. Gabbay; Paula Gouveia; Cristina Sernadas  出版社:Springer Verlag  裝訂:平裝
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and firs
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2008/03/05 作者:Walter A. Carnielli; Marcelo Coniglio; Dov M. Gabbay; Paula Gouveia; Cristina Sernadas  出版社:Springer Verlag  裝訂:精裝
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and fir
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2004/11/30 作者:Ricardo Caferra; Alexander Leitsch; Nicolas Peltier  出版社:Springer Verlag  裝訂:精裝
On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization,
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2002/02/01 作者:David Corfield (EDT); Jon Williamson (EDT)  出版社:Springer Verlag  裝訂:精裝
This is an authoritative collection of papers addressing the key challenges that face the Bayesian interpretation of probability today. The volume includes important criticisms of Bayesian reasoning a
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2000/07/01 作者:Pierre Bonzon (EDT); Marcos Cavalcanti (EDT); Rolf Nossum (EDT)  出版社:Kluwer Academic Pub  裝訂:精裝
We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi­ cial intelligence. In recent years theoret
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2000/07/01 作者:P. A. Flach; Antonis C. Kakas  出版社:Springer Nature  裝訂:平裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Concise Guide to Fault Tree Analysis:Models, Methods and Algorithms
滿額折
出版日:2025/02/15 作者:Marielle Stoelinga; Enno Ruijters; Pavel Krcal  出版社:Springer International Publishing AG  裝訂:精裝
優惠價: 95 2873
無庫存
Temporal Type Theory:A Topos-Theoretic Approach to Systems and Behavior
95 折
出版日:2019/02/11 作者:Patrick Schultz; David I. Spivak  出版社:Springer Nature Switzerland AG  裝訂:精裝
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
Advances in Proof Theory
90 折
出版日:2016/05/12 作者:Reinhard Kahle (EDT); Thomas Strahm (EDT); Thomas Studer (EDT)  出版社:Birkhauser  裝訂:精裝
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2014/11/24 作者:Wei Li  出版社:Springer Verlag  裝訂:精裝
Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of info
優惠價: 1 3999
無庫存
Perspectives in Computational Complexity ― The Somenath Biswas Anniversary Volume
90 折
出版日:2014/07/31 作者:Manindra Agrawal (EDT); Vikraman Arvind (EDT)  出版社:Springer Verlag  裝訂:精裝
This book brings together contributions by leading researchers in computational complexity theory written in honor of Somenath Biswas on the occasion of his sixtieth birthday. They discuss current tre
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:2004/08/30 作者:Keqin Feng (EDT); Harald Niederreiter (EDT); Chaoping Xing (EDT)  出版社:Springer Verlag  裝訂:精裝
This book contains a selection of papers submitted to the Workshop on Coding, Cryptography and Combinatorics (CCC 2003). An important feature of the book are invited surveys on key topics such as Bool
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
出版日:1999/12/01 作者:Arthur O. Pittenger  出版社:Birkhauser  裝訂:精裝
In 1994 Peter Shor [65] published a factoring algorithm for a quantum computer that finds the prime factors of a composite integer N more efficiently than is possible with the known algorithms for a c
若需訂購本書,請電洽客服 02-25006600[分機130、131]。
The Logical Foundations of Science
滿額折
出版日:2014/04/17 作者:W. E. Johnson  出版社:Cambridge Univ Pr  裝訂:平裝
William Ernest Johnson (1858–1931) was a renowned British logician and economist, andalso a fellow of King's College, Cambridge. Originally published in 1924, this book forms the third of a three-volume series by Johnson relating to 'the whole field of logic as ordinarily understood'. The series is widely regarded as Johnson's greatest achievement, making a significant contribution to the tradition of philosophical logic. This book will be of value to anyone with an interest in Johnson's theories, philosophy and the historical development of logic.
優惠價: 9 1507
無庫存
Demonstrative Inference ― Deductive and Inductive
滿額折
出版日:2014/04/17 作者:W. E. Johnson  出版社:Cambridge Univ Pr  裝訂:平裝
William Ernest Johnson (1858–1931) was a renowned British logician and economist, and also a fellow of King's College, Cambridge. Originally published in 1922, this book forms the second of a three-volume series by Johnson relating to 'the whole field of logic as ordinarily understood'. The series is widely regarded as Johnson's greatest achievement, making a significant contribution to the tradition of philosophical logic. This book will be of value to anyone with an interest in Johnson's theories, philosophy and the historical development of logic.
優惠價: 9 1567
無庫存
Logic
滿額折
出版日:2014/04/17 作者:W. E. Johnson  出版社:Cambridge Univ Pr  裝訂:平裝
William Ernest Johnson (1858–1931) was a renowned British logician and economist, and also a fellow of King's College, Cambridge. Originally published in 1921, this book forms the first of a three-volume series by Johnson relating to 'the whole field of logic as ordinarily understood'. The series is widely regarded as Johnson's greatest achievement, making a significant contribution to the tradition of philosophical logic. This book will be of value to anyone with an interest in Johnson's theories, philosophy and the historical development of logic.
優惠價: 9 1567
無庫存
  • 19
    1

暢銷榜

客服中心

收藏

會員專區