Problem Solving in Interactive Proof: A Knowledge-Modelling Approach
Year: 1996
Type: article
Author: J. Stuart Aitken
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2166918286