Marcos Cramer
Research profile
- Naproche: Mathematical language, proof representations, logic, computational linguistics, proof checking.
Contact information
Mathematisches Institut
Rheinische Friedrich-Wilhelms-Universität Bonn
Beringstraße 1
D-53115 Bonn
Germany
Office: Endenicher Allee 60, Room 4.002
Phone: + 49-228-73-3791
E-mail : cramer (at math.uni-bonn.de)