Pregled bibliografske jedinice broj: 66628
Mehaničko rasuđivanje i Goedelov teorem o nepotpunosti
Mehaničko rasuđivanje i Goedelov teorem o nepotpunosti // Zbornik radova / . (ur.).
Sarajevo, 1983. str. 191-194 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 66628 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Mehaničko rasuđivanje i Goedelov teorem o nepotpunosti
(Mechanical reasoning and Goedel's incompleteness theorems)
Autori
Šikić, Zvonimir
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Zbornik radova
/ . - Sarajevo, 1983, 191-194
Skup
VII. bosanskohercegovački simpozijum iz informatike
Mjesto i datum
Jahorina, Jugoslavija, 04.04.1983. - 08.04.1983
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
mehaničko rasuđivanje
(mechanical reasoning)
Sažetak
.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
120033
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Zvonimir Šikić
(autor)