查詢 text:Théorie de la preuve. ，共 2 筆
查詢再細分
-
- 語言
- 英語(2)
-
- 資料類型
- 電子書(2)
-
- 主題
- Infinity.(2)
- Logic.(2)
- MATHEMATICS(2)
- Proof theory.(2)
- Beweis(1)
- Mathematik(1)
- Modalité (Logique)(1)
- Modality (Logic)(1)
- Parallel programming (Computer science)(1)
- Programmation parallèle (Informatique)(1)
-
6 0 0 0 0The moment of proof :mathematical epiphanies
- 作者: Benson, Donald C.
- 出版: New York : Oxford University Press 1999.
- 資料類型: 電子書
-
35 0 0 0 0
Logic for concurrency and synchronisation
- 作者: Queiroz, Ruy J. G. B. de,
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©2003.
- 資料類型: 電子書