Enumerating proofs of positive formulae /
Guardado en:
| Autor principal: | Dowek, Gilles. |
|---|---|
| Otros Autores: | Jiang, Ying. |
| Formato: | Artículo |
| Lenguaje: | English |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Ejemplares similares
-
The nuts and bolts of proofs
por: Cupillari, Antonella
Publicado: (2005) -
Dag Prawitz on Proofs
and Meaning
por: Wansing, Heinrich
Publicado: (2015) -
Structural proof theory
por: Sara Negri
Publicado: (2001) -
Structural proof theory
por: Negri, Sara
Publicado: (2001) -
The Quadratic Reciprocity
Law
(A Collection of Classical Proofs)
por: Baumgart, Oswald
Publicado: (2015)