Citace podle APA (7th ed.)

(1987). From logic design to logic programming: Theorem proving techniques and P-functions / Dominique Snyers, André Thayse.

Citace podle Chicago (17th ed.)

From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions / Dominique Snyers, André Thayse. 1987.

Citace podle MLA (9th ed.)

From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions / Dominique Snyers, André Thayse. 1987.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..