Computational logic and proof theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
Edición de la obra Computational logic and proof theory
| Autor | Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1993 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 348 |
| ISBN-10 | 0387571841 |
| OCLC | 28587323 |
| LCCN | 93005923 |
| Serie | Lecture notes in computer science ; · 713 |
| Número de Cutter |