Voronkov, A. (1993). Logic Programming and Automated Reasoning. Berlin: Springer-Verlag.
Styl ChicagoVoronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.
Citace podle MLAVoronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..