NASA NTRS · 19740002065
Research in advanced formal theorem-proving techniques
Abstract
The results are summarised of a project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning. The principal results of the project were the design and implementation of two complete systems, QA4 and QLISP, and their preliminary experimental use. The various applications of both QA4 and QLISP are given.
Keep this discovery
Explore connections, maps & timelines
Raphael, B., Fikes, R., Waldinger, R.. 1973-08-01. Research in advanced formal theorem-proving techniques. https://ntrs.nasa.gov/citations/19740002065
Cite the original work for its findings. Save a collection to share your selection of sources.