Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/mkm/DehayeIKKLMPRTW16
%A Dehaye, Paul-Olivier
%A Iancu, Mihnea
%A Kohlhase, Michael
%A Konovalov, Alexander
%A Lelièvre, Samuel
%A Müller, Dennis
%A Pfeiffer, Markus
%A Rabe, Florian
%A Thiéry, Nicolas M.
%A Wiesing, Tom
%B CICM
%D 2016
%E Kohlhase, Michael
%E Johansson, Moa
%E Miller, Bruce R.
%E de Moura, Leonardo
%E Tompa, Frank Wm.
%I Springer
%K
%P 117-131
%T Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.
%U http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#DehayeIKKLMPRTW16
%V 9791
%@ 978-3-319-42546-7
@inproceedings{conf/mkm/DehayeIKKLMPRTW16,
added-at = {2023-12-13T09:25:00.000+0100},
author = {Dehaye, Paul-Olivier and Iancu, Mihnea and Kohlhase, Michael and Konovalov, Alexander and Lelièvre, Samuel and Müller, Dennis and Pfeiffer, Markus and Rabe, Florian and Thiéry, Nicolas M. and Wiesing, Tom},
biburl = {https://www.bibsonomy.org/bibtex/2b0c14b67e87326395b92a2e5f818f6a5/admin},
booktitle = {CICM},
crossref = {conf/mkm/2016},
editor = {Kohlhase, Michael and Johansson, Moa and Miller, Bruce R. and de Moura, Leonardo and Tompa, Frank Wm.},
ee = {https://www.wikidata.org/entity/Q57389301},
interhash = {ce0ca745c9c479c748a92d3a5d07a364},
intrahash = {b0c14b67e87326395b92a2e5f818f6a5},
isbn = {978-3-319-42546-7},
keywords = {},
pages = {117-131},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T09:25:00.000+0100},
title = {Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.},
url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#DehayeIKKLMPRTW16},
volume = 9791,
year = 2016
}