Umair Siddique
Umair Siddique
Home
Activities
Publications
SafetyOps
Contact
Formalizing physics: automation, presentation and foundation issues
Cezary Kaliszyk
,
Josef Urban
,
Umair Siddique
,
Sanaz Khan-Afshar
,
Cvetan Dunchev
,
SofiƩne Tahar
January 2015
PDF
Cite
Type
Conference paper
Publication
Conferences on Intelligent Computer Mathematics
Cite
×