Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Some Research Issues in Higher Order Logic Theorem Proving

Some Research Issues in Higher Order Logic Theorem Proving

Tom F. Melham

Institution
Department of Computer Science‚ University of Aarhus
ISSN
0909−3206
Month
October
Number
NS−96−7
Year
1996

Links

See Also

Back to Top