Adrian C. Klein
According to our database1,
Adrian C. Klein
authored at least 2 papers
between 1993 and 1995.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1995
Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources.
Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995
1993
Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993