熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 12 筆, 頁數 1 / 1
呈現:
Mathematical Logic
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To ... more |
|||
Parameterized Complexity Theory
Parameterized complexity theory is a recent branch of computational complexity theory that provides ... more |
|||
Parameterized Complexity Theory
Parameterized complexity theory is a recent branch of computational complexity theory that provides ... more |
|||
Finite Model Theory
This volume presents the main results of descriptive complexity theory: the connections between axio... more |
|||
Mathematical Logic
This junior/senior level text starts with a thorough treatment of first-order logic and its role in ... more |
|||
Topological Model Theory
|
|||
Computer Science Logic: 13th International Workshop, Csl’’99, 8th Annual Conference of the Eacsl, Madrid, Spain, September 20-25, 1999, Proceed
|
|||
Mathematical Logic
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To ... more |
|||
Logic and Automata: History and Perspectives
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close rel... more |
|||
Finite Model Theory
|
|||
The Ancient Maya
|
|||
Identity in Education
|