Forked from
KWARC / kwarc.info / www
1030 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
cprodescu.md 276 B
layout: person
title: Corneliu Claudiu Prodescu
fullname: M.Sc. Corneliu Claudiu Prodescu
role: master-student
pic: public/images/cprodescu.png
start_date: 2008-09
end_date: 2014-08
affiliation: TwitterThesis Title
Text and Formula Search on arXiv Documents