Edinburgh Research Explorer

A Subsumption Architecture for Theorem Proving?

Research output: Contribution to journalArticle

Standard

A Subsumption Architecture for Theorem Proving? / Bundy, Alan.

In: Philosophical Transactions: Physical Sciences and Engineering, Vol. 349, No. 1689, 10.1994, p. 71-85.

Research output: Contribution to journalArticle

Harvard

Bundy, A 1994, 'A Subsumption Architecture for Theorem Proving?' Philosophical Transactions: Physical Sciences and Engineering, vol. 349, no. 1689, pp. 71-85. DOI: 10.1098/rsta.1994.0114

APA

Bundy, A. (1994). A Subsumption Architecture for Theorem Proving? Philosophical Transactions: Physical Sciences and Engineering, 349(1689), 71-85. DOI: 10.1098/rsta.1994.0114

Vancouver

Bundy A. A Subsumption Architecture for Theorem Proving? Philosophical Transactions: Physical Sciences and Engineering. 1994 Oct;349(1689):71-85. Available from, DOI: 10.1098/rsta.1994.0114

Author

Bundy, Alan. / A Subsumption Architecture for Theorem Proving?. In: Philosophical Transactions: Physical Sciences and Engineering. 1994 ; Vol. 349, No. 1689. pp. 71-85