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)