Expressivity of Lean Formalisms
Glavni avtor: | Pulman, S |
---|---|
Format: | Book section |
Izdano: |
1994
|
Podobne knjige/članki
-
Expressivity of Lean Formalisms
od: Pulman, S
Izdano: (1994) -
Expressivity of Lean Formalisms
od: Pulman, S
Izdano: (1994) -
Expressivity of Lean Formalisms
od: Pulman, S
Izdano: (1994) -
Expressivity of Lean Formalisms
od: Pulman, S
Izdano: (1994) -
Formalizing mathematics in LEAN
od: Liu, Yufei
Izdano: (2024)