Voronkov, A. (1993). Logic Programming and Automated Reasoning. Berlin: Springer-Verlag.
Chicago Stili AlıntıVoronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.
MLA AlıntıVoronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..