Dovier, A., Omodeo, E. G., & Policriti, A. Solvable Set: II. A Goal-Driven Unification Algorithm for the Blended Case. Applicable algebra in engineering, communication and computing..
Citace podle Chicago (17th ed.)Dovier, Agostino, Eugenio G. Omodeo, a Alberto Policriti. "Solvable Set: II. A Goal-Driven Unification Algorithm for the Blended Case." Applicable Algebra in Engineering, Communication and Computing. .
Citace podle MLA (9th ed.)Dovier, Agostino, et al. "Solvable Set: II. A Goal-Driven Unification Algorithm for the Blended Case." Applicable Algebra in Engineering, Communication and Computing., .
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..