Loveland, D. W. (1978). Automated theorem proving: A logical basis. ([1. vyd.].). North-Holland Publishing Company.
Successfully copied to clipboard
Copying to clipboard failed
Chicago Style (17th ed.) Citation
Loveland, Donald W. Automated Theorem Proving: A Logical Basis. [1. vyd.]. New York: North-Holland Publishing Company, 1978.
Successfully copied to clipboard
Copying to clipboard failed
MLA (9th ed.) Citation
Loveland, Donald W. Automated Theorem Proving: A Logical Basis. [1. vyd.]. North-Holland Publishing Company, 1978.
Successfully copied to clipboard
Copying to clipboard failed
Warning: These citations may not always be 100% accurate.