Loveland, D. W. (1978). Automated theorem proving: A logical basis. ([1. vyd.].). North-Holland Publishing Company.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podle Chicago (17th ed.)
Loveland, Donald W. Automated Theorem Proving: A Logical Basis. [1. vyd.]. New York: North-Holland Publishing Company, 1978.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Citácia podľa MLA (8th ed.)
Loveland, Donald W. Automated Theorem Proving: A Logical Basis. [1. vyd.]. North-Holland Publishing Company, 1978.
Kopírovanie bolo úspešné
Kopírovanie sa nepodarilo
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..