Razvan Diaconescu

Razvan Diaconescu

3 ספרים במאגר

ספרים

CafeOBJ reportRazvan Diaconescu

Razvan Diaconescu · 1998

Institution-Independent Model TheoryRazvan Diaconescu

Institution-Independent Model Theory

Razvan Diaconescu · 2008

Institution-independent Model Theory (Studies in Universal Logic)Razvan Diaconescu

Institution-independent Model Theory (Studies in Universal Logic)

Razvan Diaconescu · 2008