Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science)
Edición de la obra Computational logic and proof theory
| Autor | Georg Gottlob |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 10, 1993 |
| Idioma | inglés |
| Páginas | 348 |
| Formato | Paperback |
| ISBN-13 | 9783540571841 |
| ISBN-10 | 3540571841 |
| Número de Cutter | G686c |