Banner
Sveučilište u Zagrebu, Fakultet organizacije i informatike, Knjižnica

The automation of reasoning : an experimenter’s notebook with OTTER tutorial

Tekstualna građa, tiskana Vrsta gradje
Naslov
The automation of reasoning : an experimenter’s notebook with OTTER tutorial / Larry Wos. -
Impressum
San Diego : Academic, 1996. -
Materijalni opis
XIV, 434 str. ; 24 cm
ISBN
0-12-763420-7
Jezik
Engleski
Inv.br.
Info
Signatura
A9612620
Posuđeno
007.52 WOS A
Fakultet organizacije i informatike, Varaždin - Pavlinska 2, Varaždin - Tel: 042 390 878, 042 390 877