Expressivity of Lean Formalisms
Tác giả chính: | Pulman, S |
---|---|
Định dạng: | Book section |
Được phát hành: |
1994
|
Những quyển sách tương tự
-
Expressivity of Lean Formalisms
Bằng: Pulman, S
Được phát hành: (1994) -
Expressivity of Lean Formalisms
Bằng: Pulman, S
Được phát hành: (1994) -
Expressivity of Lean Formalisms
Bằng: Pulman, S
Được phát hành: (1994) -
Expressivity of Lean Formalisms
Bằng: Pulman, S
Được phát hành: (1994) -
Formalizing mathematics in LEAN
Bằng: Liu, Yufei
Được phát hành: (2024)