CiteSeer.IST Home   Check: The following citations are predicted to all refer to the same paper.   Details

Vellino, A. (1989). The complexity of automated reasoning.

Vellino, A. (1989) The complexity of automated reasoning.

A. Vellino. The complexity of automated reasoning. Ph.D. thesis, Department of Philosophy, University of Toronto, Toronto, Canada, 1989.

Vellino, A.: 1989, `The Complexity of Automated Reasoning'. Ph.D. thesis, University of Toronto.

Vellino, A. (1989). The complexity of automated reasoning. Ph.D. thesis, Dept. of Philosophy, University of Toronto, Toronto, Canada, 1989.

Vellino, A.: 1989, `The Complexity of Automated Reasoning'. Ph.D. thesis, University of Toronto.

CiteSeer.IST - Copyright Penn State and NEC