Automated theorem proving

Permalink: http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:47489
Glavni autor: Newborn, Monroe (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: New York : Springer, 2001.
Predmet: