Expressivity of Lean Formalisms
1. autor: | Pulman, S |
---|---|
Format: | Book section |
Wydane: |
1994
|
Podobne zapisy
-
Expressivity of Lean Formalisms
od: Pulman, S
Wydane: (1994) -
Expressivity of Lean Formalisms
od: Pulman, S
Wydane: (1994) -
Expressivity of Lean Formalisms
od: Pulman, S
Wydane: (1994) -
Expressivity of Lean Formalisms
od: Pulman, S
Wydane: (1994) -
Formalizing mathematics in LEAN
od: Liu, Yufei
Wydane: (2024)