(2009). Handbook of practical logic and automated reasoning / John Harrison.
Citace podle Chicago (17th ed.)Handbook of Practical Logic and Automated Reasoning / John Harrison. 2009.
Citace podle MLA (9th ed.)Handbook of Practical Logic and Automated Reasoning / John Harrison. 2009.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..