Expressivity of Lean Formalisms
Үндсэн зохиолч: | Pulman, S |
---|---|
Формат: | Book section |
Хэвлэсэн: |
1994
|
Ижил төстэй зүйлс
Ижил төстэй зүйлс
-
Expressivity of Lean Formalisms
-н: Pulman, S
Хэвлэсэн: (1994) -
Expressivity of Lean Formalisms
-н: Pulman, S
Хэвлэсэн: (1994) -
Expressivity of Lean Formalisms
-н: Pulman, S
Хэвлэсэн: (1994) -
Expressivity of Lean Formalisms
-н: Pulman, S
Хэвлэсэн: (1994) -
Formalizing mathematics in LEAN
-н: Liu, Yufei
Хэвлэсэн: (2024)