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)