Enumerating proofs of positive formulae /
Sparad:
| Huvudupphovsman: | Dowek, Gilles. |
|---|---|
| Övriga upphovsmän: | Jiang, Ying. |
| Materialtyp: | Artikel |
| Språk: | English |
| Ämnen: | |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Liknande verk
-
The nuts and bolts of proofs
av: Cupillari, Antonella
Publicerad: (2005) -
Dag Prawitz on Proofs
and Meaning
av: Wansing, Heinrich
Publicerad: (2015) -
Structural proof theory
av: Sara Negri
Publicerad: (2001) -
Structural proof theory
av: Negri, Sara
Publicerad: (2001) -
The Quadratic Reciprocity
Law
(A Collection of Classical Proofs)
av: Baumgart, Oswald
Publicerad: (2015)