Automated reasoning

Permalink: http://skupnikatalog.nsk.hr/Record/fer.KOHA-OAI-FER:27065/Details
Glavni autor: Wos, Larry (-)
Vrsta građe: Knjiga
Jezik: eng
Impresum: Prentice-Hall, Inc, 1988.
Izdanje: 1. izd
LEADER 00518nam a2200193uu 4500
005 20131010150400.0
008 s1988 xxu |||||||||| ||eng|d
020 |a 013054552X 
035 |a HR-ZaFER 31428 
040 |a HR-ZaFER  |b hrv  |c HR-ZaFER  |e ppiak 
041 |a eng 
100 1 |9 28746  |a Wos, Larry 
245 |a Automated reasoning :  |b 33 basic research problems / 
250 |a 1. izd. 
260 |b Prentice-Hall, Inc.,  |c 1988. 
300 |a xiii, 319 str. ;  |c 23 cm. 
942 |c K  |2 udc 
990 |a 29363 
999 |c 27065  |d 27065