%0 Conference Paper %1 conf/mkm/KaliszykUSADT15 %A Kaliszyk, Cezary %A Urban, Josef %A Siddique, Umair %A Afshar, Sanaz Khan %A Dunchev, Cvetan %A Tahar, Sofiène %B CICM %D 2015 %E Kerber, Manfred %E Carette, Jacques %E Kaliszyk, Cezary %E Rabe, Florian %E Sorge, Volker %I Springer %K dblp %P 288-295 %T Formalizing Physics: Automation, Presentation and Foundation Issues. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2015.html#KaliszykUSADT15 %V 9150 %@ 978-3-319-20614-1

@inproceedings{conf/mkm/KaliszykUSADT15, added-at = {2022-03-16T00:00:00.000+0100}, author = {Kaliszyk, Cezary and Urban, Josef and Siddique, Umair and Afshar, Sanaz Khan and Dunchev, Cvetan and Tahar, Sofiène}, biburl = {https://www.bibsonomy.org/bibtex/2f124e54e9911bf04340496bbd534af7d/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2015}, editor = {Kerber, Manfred and Carette, Jacques and Kaliszyk, Cezary and Rabe, Florian and Sorge, Volker}, ee = {https://www.wikidata.org/entity/Q108482150}, interhash = {3af82bcb602cecd4ab0cd17fdcedabd1}, intrahash = {f124e54e9911bf04340496bbd534af7d}, isbn = {978-3-319-20614-1}, keywords = {dblp}, pages = {288-295}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T17:43:58.000+0200}, title = {Formalizing Physics: Automation, Presentation and Foundation Issues.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2015.html#KaliszykUSADT15}, volume = 9150, year = 2015 }