[Pre2002b] Proof theory and proof systems for projective and affine geometry

Tree

Index

Bibliography

[Pre2002b] Proof theory and proof systems for projective and affine geometry

Prei02TAB (Technical report)
Author(s)	Preining N.
Title	"Proof theory and proof systems for projective and affine geometry"
Date	June 2002
Institution	Institut f. Computersprachen 185.2
Number	TR-2002-FE01
Note	Position paper at the TABLEAUX 2002, Kopenhagen, Danmark

BibTeX code

@techreport{Prei02TAB,
  month = {June},
  title = {Proof theory and proof systems for projective and affine geometry},
  author = {Preining, N.},
  year = {2002},
  note = {Position paper at the \textsc{tableaux} 2002, Kopenhagen, Danmark},
  number = {\textsc{tr}-2002-\textsc{fe}01},
  institution = {Institut f. Computersprachen 185.2},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug