Difference between revisions of "Book/扩展的三段论及自动推理"
| (One intermediate revision by the same user not shown) | |||
| Line 2: | Line 2: | ||
|last=张 | |last=张 | ||
|first=寅生 | |first=寅生 | ||
|authorlink= | |authorlink=张寅生 | ||
|title=扩展的三段论及自动推理 | |title=扩展的三段论及自动推理 | ||
|edition= | |edition= | ||
| Line 9: | Line 9: | ||
|publisher=科学技术文献出版社 | |publisher=科学技术文献出版社 | ||
|isbn=978-7-5023-6318-5 | |isbn=978-7-5023-6318-5 | ||
}} | }} | ||
<noinclude> | <noinclude> | ||
The author also wrote this book<ref>{{:Book/证明方法与理论}}</ref>. | The author [[张寅生]] also wrote this book<ref>{{:Book/证明方法与理论}}</ref>. | ||
=References= | =References= | ||
<references/> | <references/> | ||
Latest revision as of 05:38, 10 January 2022
张, 寅生 (2009). 扩展的三段论及自动推理. local page: 科学技术文献出版社. ISBN 978-7-5023-6318-5.
The author 张寅生 also wrote this book[1].
References
- ↑ 张, 寅生 (2016). 证明方法与理论. local page: 国防工业出版社. ISBN 978-7-118-10079-2.
Related Pages
A Global Network of Personal Knowledge Container, Abstract Interpretation, Abstract Specification of PKC, Abstract nonsense, Accountability, Adjoint Functors, Adjunctions, Age Appropriate Design Code, Algebra of Systems, Anti-joke, Anti-math, Anti-operator, Applied Category Theory, Approximate truth, Arithmetic, Associative array, Bartosz Milewski, Bob Coecke, Book/A Compositional Framework for Passive Linear Networks, Book/A New Kind of Science, Book/An Investigation of the Laws of Thought, Book/Axiomatic design, Book/Axiomatic design and fabrication of composite structures, Book/CATEGORIES TYPES AND STRUCTURES, Book/Categories for the Working Mathematician, Book/Category Theory for Programmers, Book/Category Theory for the Sciences, Book/Complexity-theory and applications, Book/Computer Architecture, Book/Computer Organization and Design, Book/Conceptual Mathematics, Book/Conceptual Mathematics/OnSymmetries, Book/Discrete Mathematics with Applications, Book/From Frege to Gödel, Book/From Word to Sentence: a computational algebraic approach to grammar, Book/Gödel’s Proof, Book/Introduction to Lattices and Order, Book/Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, Book/Logic machines and diagrams, Book/Mathematical Foundations of Computational Engineering, Book/Meta Math!, Book/Mind and Nature, Book/New Structures for Physics, Book/Picturing Quantum Processes, Book/Probably Approximately Correct, Book/Programs Grammars Arguments, Book/Seven Sketches in Compositionality, Book/Speakable and Unspeakable in Quantum Mechanics, Book/Symmetry, Book/The Ambidextrous Universe... further results