search entire uohyd

Library || Publications || Article Requests || Fellowships || UH Telephone Directory

Mechanizing Mathematics

Dr. Prathamesh
Institute of the Speaker: 
University of Innsbruck, Austria
Date and Time: 
Wednesday, January 9, 2019 - 16:30
Seminar Hall 1, School of Mathematics and Statistics

Page last modified on 23 Aug 2019

University of Hyderabad» NBHM» UGC» MHRD» IMU» INSA» ICM2010 » ICWM2010» MathSciNet