Faculty of
Computer Science
ro
|
site map
|
home
|
Profile
|
Degree Programs
|
People
|
Research
|
Students
A. I. Cuza University of Iaşi
In this section
Colocviu de admitere la gradul didactic I, seria 2010−2012
Quick Links
Academic year 2011-2012
Timetable
Exams
Regulations
MSDN Academic Alliance
Microsoft Student Partners
eSIMS
Webmail (Professors)
Webmail (Students)
Home
> N1006031226
New technical report available
You can consult TR10-05 (2010) –
Automating Coinduction with Case Analysis
– written by Eugen-Ioan Goriac, Dorel Lucanu, and Grigore Rosu.
A. I. Cuza University of Iaşi