Organizacije



Filtrirano po:
Mp-kat.:  M70
Godina:  1993

Rezultati obuhvataju radove istraživača koji su TRENUTNO zaposleni u prikazanoj instituciji.

GodinaNaslovAutor(i)Tip rezultataMp-kat.
1993Intersection types in lambda calculus and logicGilezan, Silvia  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija