Katalog GES

« Back to Record

Record Citations

APA Citation

Luckham, D., & Robinson, J. A. (1966). Robinson, J. A.: Theorem-Proving on the Computer / Luckham, David.

MLA Citation

Luckham, David, and J. A Robinson. Robinson, J. A.: Theorem-Proving On the Computer / Luckham, David. 1966.

Warning: These citations may not always be 100% accurate.

Library Services

Search Options

Quick links

Orientation