Logic, Symbolic and mathematical.
概要
| 作品: | 219 作品在 136 項出版品 136 種語言 | |
|---|---|---|
書目資訊
Elucidating the ‘Tractatus’ = Wittgenstein's Early Philosophy of Logic and Language
by:
(書目-語言資料,印刷品)
Quantifiers, quantifiers, and quantifiers = themes in logic, metaphysics, and language /
by:
(書目-語言資料,印刷品)
Thinking, feeling, and being = clinical reflections on the fundamental antinomy of human beings and world /
by:
(書目-語言資料,印刷品)
The Enchantment of Words = Wittgenstein's “Tractatus Logico-Philosophicus”
by:
(書目-語言資料,印刷品)
Logic and games on automatic structures = playing with quantifiers and decompositions /
by:
(書目-語言資料,印刷品)
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Quantifiers, propositions and identity : = admissible semantics for quantified modal and substructural logics /
by:
(書目-語言資料,印刷品)
Set theory, arithmetic, and foundations of mathematics : = theorems, philosophies /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
KI 2015 = advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, mathematics, and computer science = modern foundations with practical applications /
by:
(書目-語言資料,印刷品)
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Special topics in mathematics for computer scientists = sets, categories, topologies and measures /
by:
(書目-語言資料,印刷品)
Logical thinking in the pyramidal schema of concepts = the logical and mathematical elements /
by:
(書目-語言資料,印刷品)
Logical foundations of mathematics and computational complexity = a gentle introduction /
by:
(書目-語言資料,印刷品)
Ones and zeros = understanding Boolean algebra, digital circuits, and the logic of sets /
by:
(書目-語言資料,印刷品)
Modelling with words = learning, fusion, and reasoning within a formal linguistic representation framework /
by:
(書目-語言資料,印刷品)
Logic as universal science = Russell's early logicism and its philosophical context /
by:
(書目-語言資料,印刷品)
Reasoning in simple type theory : = festschrift in honour of Peter B. Andrews on his 70th birthday /
by:
(書目-語言資料,印刷品)
Second-order quantifier elimination : = foundations, computational aspects and applications /
by:
(書目-語言資料,印刷品)
Peeling potatoes or grinding lenses = Spinoza and young Wittgenstein converse on immanence and its logic /
by:
(書目-語言資料,印刷品)
Handbook of the logic of argument and inference = the turn towards the practical /
by:
(書目-語言資料,印刷品)
Intensional and higher-order modal logic = with applications to Montague semantics /
by:
(書目-語言資料,印刷品)
Sentences undecidable in formalized arithmetic = an exposition of the theory of Kurt Godel /
by:
(書目-語言資料,印刷品)
The road to universal logic = Festschrift for 50th Birthday of Jean-Yves Beziau.. Volume I /
by:
(書目-語言資料,印刷品)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Objectivity, realism, and proof = FilMat studies in the philosophy of mathematics /
by:
(書目-語言資料,印刷品)
Fuzziness in information systems = how to deal with crisp and fuzzy data in selection, classification, and summarization /
by:
(書目-語言資料,印刷品)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Does mathematical study develop logical thinking? = testing the theory of formal discipline /
by:
(書目-語言資料,印刷品)
The symbolic computation of integrability structures for partial differential equations
by:
(書目-語言資料,印刷品)
Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches
by:
(書目-語言資料,印刷品)
Truth, existence and explanation = FilMat 2016 studies in the philosophy of mathematics /
by:
(書目-語言資料,印刷品)
Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Logic versus approximation = essays dedicated to Michael M. Richter on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
The digital and the real world = computational foundations of mathematics, science, technology, and philosophy /
by:
(書目-語言資料,印刷品)
Advances in applied logics = applications of logic for philosophy, mathematics and information technology /
by:
(書目-語言資料,印刷品)
The mathematics of logic : = a guide to completeness theorems and their applications /
by:
(書目-語言資料,印刷品)
更多
較少的
主題