Knowledge Base of
Publications,
Seminars,
&
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Alan Smaill
2 results
The Oyster-Clam System
| cite »
by Alan Bundy, Frank Van Harmelen, Christian Horn, Alan Smaill
1990
Reflection in Constructive and Non-Constructive Automated Reasoning
| cite »
by Fausto Giunchiglia, Alan Smaill
1989