Automated reasoning with Otter

Permalink: http://skupnikatalog.nsk.hr/Record/nsk.NSK01000524428
Glavni autor: Kalman, John Arnold (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: Princeton : Rinton Press, cop. 2001.
Predmet:

NSK Čitaonica za prirodne i primijenjene znanosti

Signatura: 004.83 K14
Primjerak #1
Korištenje u čitaonici