APA Citation

Voronkov, A. (1993). Logic Programming and Automated Reasoning. Berlin: Springer-Verlag.

Trích dẫn kiểu Chicago

Voronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.

MLA Citation

Voronkov, Andrei. Logic Programming and Automated Reasoning. Berlin: Springer-Verlag, 1993.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.