熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 14 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Hover
Poetry and prose that takes on multiple forms to celebrate queer polyamorous families. Liza Flum’s Hover focuses on...... more |
||
|
Henri Edson Ximenez
conclusion. Paul Flum’s staccato style and game-playing action marks HENRI EDSON XIMENEZ as an exciting new diection for the...... more |
||
|
Mathematical Logic
This introduction to first-order logic clearly works out the role of first-order logic in the founda... 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
|
||
|
|
Identity in Education
|
||
|
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
|
