Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[Pre1997]  Sketch-as-Proof

Prei97KGC (In proceedings)
Author(s)Preining N.
Title"Sketch-as-Proof"
Date1997
InComputational Logic and Proof Theory, Proc. 5[mathit]th Kurt Gödel Colloquium KGC'97
Editor(s)Gottlob G., Leitsch A. and Mundici D.
SeriesLecture Notes in Computer Science 1289
Page(s)264--277
PublisherSpringer

BibTeX code

@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},
}


 Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)