Isabela Dramnesc
Original record- Institution
- West University of Timisoara
- Year
- 2012
- Country
- Romania
- MGP identifier
- 328694
Dissertation: Case Studies on Algorithm Synthesis and Theory Exploration in Theorema
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Tudor JebeleanJohannes Kepler Universität Linz · 1994
Students 0
No students recorded in this snapshot.