Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings /
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Berlín, Alemania :
Springer,
2001, c2001
|
| Series: | (Lecture Notes in Computer Science)
|
| Acceso en liña: | Ver documento en línea |
| Etiquetas: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares: Proof Theory in Computer Science :
- Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
- Proof, Computation and Agency : Logic at the Crossroads /
- A Proof Theory for Description Logics /
- Video Processing and Computational Video : International Seminar, Dagstuhl Castle, Germany, October 10-15, 2010, Revised Papers /
- Software Visualization : International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures /