APA stil citiranja

Hotomski, P. (1991). Matematički i programski problemi veštačke inteligencije u oblasti automatskog dokazivanja teorema: Matematički i programski problemi veštačke inteligencije u oblasti automatskog dokazivanja teorema (2. izd.). Beograd: Naučna knjiga.

Chicago stil citiranja

Hotomski, Petar. Matematički i programski problemi veštačke inteligencije u oblasti automatskog dokazivanja teorema: Matematički i programski problemi veštačke inteligencije u oblasti automatskog dokazivanja teorema. 2. izd. Beograd: Naučna knjiga, 1991.

MLA stil citiranja

Hotomski, Petar. Matematički i programski problemi veštačke inteligencije u oblasti automatskog dokazivanja teorema: Matematički i programski problemi veštačke inteligencije u oblasti automatskog dokazivanja teorema. 2. izd. Beograd: Naučna knjiga, 1991.