Skip to main content


eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item:
Title: Tactic-Based Theorem Proving and Knowledge-Based Forward Chaining: An Experiment with Nuprl and Ontic.
Authors: Chen, Wilfred Z.
Keywords: computer science
technical report
Issue Date: Mar-1992
Publisher: Cornell University
Abstract: Abstract not available.
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
92-1276.pdf1.79 MBAdobe PDFView/Open
92-1276.ps415.03 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.


© 2014 Cornell University Library Contact Us