Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BL1986]  Strong Inference in Automated Theorem Proving

BaazLeit86TR (Technical report)
Author(s)Baaz M. and Leitsch A.
Title"Strong Inference in Automated Theorem Proving"
Date1986
InstitutionResearch Institute for Symbolic Computation (RISC)
NumberRISC-Report 86/13

BibTeX code

@techreport{BaazLeit86TR,
  address = {Hagenberg, Austria},
  title = {Strong Inference in Automated Theorem Proving},
  author = {Baaz, M. and Leitsch, A.},
  year = {1986},
  number = {RISC-Report 86/13},
  institution = {Research Institute for Symbolic Computation (RISC)},
}


 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)