Skip to main content


eCommons@Cornell

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

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/7116
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
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR92-1276
Abstract: Abstract not available.
URI: http://hdl.handle.net/1813/7116
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