熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 8 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Logical Reasoning With Diagrams & Sentences: Using Hyperproof
The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analy... more |
||
|
Language, Proof and Logic
Language Proof and Logic is available as a physical book with the software included on CD and as a d... more |
||
|
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry
Twentieth-century developments in logic and mathematics have led many people to view Euclid s proofs... more |
||
|
Tarski’s World
Tarski s World is an innovative and exciting method of introducing students to the language of first... more |
||
|
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry
Twentieth-century developments in logic and mathematics have led many people to view Euclid s proofs... more |
||
|
Diagrammatic Representation And Inference: 4th International Conference, Diagrams 2006 Stanford, Ca, USA, June 28-30, 2006 Proce
Proceedings of the 4th International Conference on Theory and Application of Diagrams, Stanford, CA,... more |
||
|
Words, Proofs and Diagrams
The past twenty years have witnessed extensive collaborative research between computer scientists, l... more |
||
|
Words, Proofs, and Diagrams
The past twenty years have witnessed extensive collaborative research between computer scientists, l... more |
