Finding Shortest Proofs: An Application of Linked Inference Rules
Year: 2001
Type: article
Source: Journal of Automated Reasoning
Author: Robert Veroff
Institution: University of New Mexico
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1553318606