Logic, Symbolic and mathematical.
概要
作品: | 305 作品在 132 項出版品 132 種語言 |
---|
書目資訊
The deductive foundations of computer programming : = a one-volume version of The logical basis for computer programming /
by:
(書目-語言資料,印刷品)
Representing and reasoning with probabilistic knowledge = a logical approach to probabilities /
by:
(書目-語言資料,印刷品)
Handbook of logic in artificial intelligence and logic programming.. Volume 5,. Logic programming
by:
(書目-語言資料,印刷品)
Structures in logic and computer science = a selection of essays in honor of A. Ehrenfeucht /
by:
(書目-語言資料,印刷品)
Introduction to mathematical logic : = set theory, computable functions, model theory /
by:
(書目-語言資料,印刷品)
The Limits of science : = outline of logic and of the methodology of the exact sciences /
by:
(書目-語言資料,印刷品)
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
by:
(書目-語言資料,印刷品)
Logic versus approximation = essays dedicated to Michael M. Richter on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
The Enchantment of Words = Wittgenstein's “Tractatus Logico-Philosophicus”
by:
(書目-語言資料,印刷品)
Elucidating the ‘Tractatus’ = Wittgenstein's Early Philosophy of Logic and Language
by:
(書目-語言資料,印刷品)
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(書目-電子資源)
A first course in logic : = an introduction to model theory, proof theory, computability, and complexity /
by:
(書目-語言資料,印刷品)
Discrete mathematics : = mathematical reasoning and proof with puzzles, patterns, and games /
by:
(書目-語言資料,印刷品)
Modelling with words = learning, fusion, and reasoning within a formal linguistic representation framework /
by:
(書目-語言資料,印刷品)
Logic versus approximation = essays dedicated to Michael M. Richter on the occasion of his 65th birthday /
by:
(書目-電子資源)
Foundations of logic and mathematics : = applications to computer science and cryptography /
by:
(書目-語言資料,印刷品)
Routledge philosophy guidebook to Wittgenstein and the Tractatus logico-philosophicus /
by:
(書目-語言資料,印刷品)
The mathematics of logic : = a guide to completeness theorems and their applications /
by:
(書目-語言資料,印刷品)
Qualitative spatio-temporal representation and reasoning : = trends and future directions /
by:
(書目-語言資料,印刷品)
Peeling potatoes or grinding lenses = Spinoza and young Wittgenstein converse on immanence and its logic /
by:
(書目-電子資源)
Categories and types in logic, language, and physics = essays dedicated to Jim Lambek on the occasion of his 90th birthday /
by:
(書目-電子資源)
Functions and generality of logic = reflections on Dedekind's and Frege's logicisms /
by:
(書目-語言資料,印刷品)
Special topics in mathematics for computer scientists = sets, categories, topologies and measures /
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:
(書目-電子資源)
Functional interpretations : = From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory / /
by:
(書目-語言資料,印刷品)
Sequents and trees = an introduction to the theory and applications of propositional sequent calculi /
by:
(書目-電子資源)
Logic functions and equations = fundamentals and applications using the XBOOLE-Monitor /
by:
(書目-電子資源)
Logic-based methods for optimization : = combining optimization and constraint satisfaction /
by:
(書目-語言資料,印刷品)
The road to universal logic = Festschrift for 50th Birthday of Jean-Yves Beziau.. Volume I /
by:
(書目-電子資源)
Quantifiers, quantifiers, and quantifiers = themes in logic, metaphysics, and language /
by:
(書目-電子資源)
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(書目-電子資源)
Logic, mathematics, and computer science = modern foundations with practical applications /
by:
(書目-電子資源)
Picturing quantum processes : = a first course in quantum theory and diagrammatic reasoning /
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:
(書目-電子資源)
Ludwig Wittgenstein = dictating philosophy : to Francis Skinner : the Wittgenstein-Skinner manuscripts /
by:
(書目-電子資源)
Logic and implication = an introduction to the general algebraic study of non-classical logics /
by:
(書目-電子資源)
Chance, logic and intuition : = an introduction to the counter-intuitive logic of chance /
by:
(書目-語言資料,印刷品)
Advances in applied logics = applications of logic for philosophy, mathematics and information technology /
by:
(書目-電子資源)
Many-valued semantics and modal logics = essays in honour of Yuriy Vasilievich Ivlev /
by:
(書目-電子資源)
Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing /
by:
(書目-電子資源)
Fuzziness in information systems = how to deal with crisp and fuzzy data in selection, classification, and summarization /
by:
(書目-電子資源)
The digital and the real world = computational foundations of mathematics, science, technology, and philosophy /
by:
(書目-電子資源)
更多
較少的
主題