Automated theorem proving
| Permalink: | http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:47489 |
|---|---|
| Glavni autor: | Newborn, Monroe (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
New York :
Springer,
2001.
|
| Predmet: |
Središnja knjižnica - Udžbenici
| Signatura: |
8852 |
|---|---|
| Primjerak SRE_36484 |
Dostupno |