Adrian C. Klein

According to our database¹, Adrian C. Klein authored at least 2 papers between 1993 and 1995.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1995

Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources.

[BibT_eX]

[DOI]

Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

1993

Utility-Based Abstraction and Categorization.

[BibT_eX]

[DOI]

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993