Biblioteca Universităţii din Craiova
Limba
Coperţi

Diaconescu, Răzvan

Nume Persoană: Diaconescu, Răzvan
Țara sursă: RO: UCV
Lucrări: 3 lucrari in 3 publicatii in 1 limbi
Possible Worlds Sementics in Arbitrary Institutions de: Diaconescu, Răzvan; Stefaneas, Petros (Text tipărit)
Interpolation in Grothendieck Institutions de: Diaconescu, Răzvan (Text tipărit)
Elementary Diagrams in Institutions : Preprint nr. 7/2002 de: Diaconescu, Răzvan (Text tipărit)
Vă rugăm să schimbaţi parola