Amanote Research
Register
Sign In
Tableau-Based Theorem Proving for Representation and Reasoning.
doi 10.22215/etd/1987-01341
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Edward Suen
Publisher
Carleton University