Automated reasoning with Otter - Kalman, John Arnold (Princeton : Rinton Press, 2001)
Sadrži i potpuni tekst knjige
Puno ime autora: John Arnold Kalman
Stv. nasl. s naljepnice diska
CD-ROM je priložen uz knjigu: Automated reasoning with Otter
Publikacija u formatu PDF; sadrži 532 str.
Zahtjevi sustava: IBM PC; Windows; Unix
Zahtjevi sustava: Macintosh
Keywords: Umjetna inteligencija; Otter (softver)