Expressivity of Lean Formalisms
Hovedforfatter: | Pulman, S |
---|---|
Format: | Book section |
Udgivet: |
1994
|
Lignende værker
-
Expressivity of Lean Formalisms
af: Pulman, S
Udgivet: (1994) -
Expressivity of Lean Formalisms
af: Pulman, S
Udgivet: (1994) -
Expressivity of Lean Formalisms
af: Pulman, S
Udgivet: (1994) -
Expressivity of Lean Formalisms
af: Pulman, S
Udgivet: (1994) -
Formalizing mathematics in LEAN
af: Liu, Yufei
Udgivet: (2024)