[Pre1997] Sketch-as-Proof
| Prei97KGC (In proceedings)
|
| Author(s) | Preining N. |
| Title | "Sketch-as-Proof" |
| Date | 1997 |
| In | Computational Logic and Proof Theory, Proc. 5 Kurt Gödel Colloquium KGC'97 |
| Editor(s) | Gottlob G., Leitsch A. and Mundici D. |
| Series | Lecture Notes in Computer Science 1289 |
| Page(s) | 264--277 |
| Publisher | Springer |
@inproceedings{Prei97KGC,
title = {Sketch-as-Proof},
year = {1997},
booktitle = {Computational Logic and Proof Theory, Proc. 5$ˆ{\mathit{th}} $ Kurt G\"odel Colloquium \textsc{kgc}'97},
editor = {Gottlob, G. and Leitsch, A. and Mundici, D.},
pages = {264--277},
publisher = {Springer},
address = {Vienna, Austria},
author = {Preining, N.},
series = {Lecture Notes in Computer Science 1289},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)