izvor podataka: crosbi
!
Osnove lambda-računa i lambda-izrazivost numeričkih rekurzivnih funkcija (CROSBI ID 395160)
Ocjenski rad | diplomski rad
Pavasović, Slobodan
Osnove lambda-računa i lambda-izrazivost numeričkih rekurzivnih funkcija / Sedmak, Radovan (mentor);
Zagreb, Prirodoslovno-matematički fakultet, Zagreb, . 1987
Podaci o odgovornosti
Pavasović, Slobodan
Sedmak, Radovan
hrvatski
Osnove lambda-računa i lambda-izrazivost numeričkih rekurzivnih funkcija
U radu se obrađuju osnove lambda-računa i lambda-izrazivost numeričkih rekurzivnih funkcija
lambda-račun; numeričke rekurzivne funkcije
nije evidentirano
engleski
An introduction to lambda-calculus and lambda-representation of numerical recursive funkctions
nije evidentirano
lambda-calculus; numerical recursive functions
nije evidentirano
Podaci o izdanju
60
02.08.1987.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Prirodoslovno-matematički fakultet, Zagreb
Zagreb
Povezanost rada
Povezane osobe
Povezane ustanove