Formalizing Physics: Automation, Presentation and Foundation Issues - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cezary Kaliszyk, Josef Urban, Umair Siddique, Sanaz Khan Afshar, Cvetan Dunchev, Sofiène Tahar. Formalizing Physics: Automation, Presentation and Foundation Issues. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge, editors, Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. Volume 9150 of Lecture Notes in Computer Science, pages 288-295, Springer, 2015. [doi]

This author has not been identified. Look up 'Cezary Kaliszyk' in GoogleThis author has not been identified. Look up 'Josef Urban' in GoogleThis author has not been identified. Look up 'Umair Siddique' in GoogleThis author has not been identified. Look up 'Sanaz Khan Afshar' in GoogleThis author has not been identified. Look up 'Cvetan Dunchev' in GoogleThis author has not been identified. Look up 'Sofiène Tahar' in Google

runs on WebDSL