Automated reasoning with Otter - Kalman, John Arnold (Princeton : Rinton Press, 2001)
Knjizi je priložen CD-ROM: Automated reasoning with Otter
Bibliografija: str. 525-531
Kazalo
Keywords: Umjetna inteligencija; Otter (softver)