search entire uohyd

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

Mechanizing Mathematics

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

Page last modified on 06 Mar 2019

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