Metematički i programski problemi veštačke inteligencije u oblasti automatskog dokazivanja teorema
| Permalink: | http://skupnikatalog.nsk.hr/Record/nsk.NSK01000400628 |
|---|---|
| Glavni autor: | Hotomski, Petar (-) |
| Ostali autori: | Pevac, Irena (-) |
| Vrsta građe: | Knjiga |
| Jezik: | scc |
| Impresum: |
Beograd :
Naučna knjiga,
1988.
|
NSK Zatvoreno spremište
| Signatura: |
606.920 |
|---|---|
| Primjerak |
Dostupno |