Formalized Mathematical Content in Lecture Notes on Modelling and Analysis
| Type of Publication: | Contribution to a conference collection |
| Publication status: | Published |
| Author: | Junk, Michael; Hölle, Stefan; Sahli, Sebastian |
| Year of publication: | 2018 |
| Conference: | 11th International Conference, CICM 2018, Aug 13, 2018 - Aug 17, 2018, Hagenberg, Austria |
| Published in: | Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / Rabe, Florian et al. (ed.). - Cham : Springer, 2018. - (Lecture Notes in Artificial Intelligence ; 11006). - pp. 125-130. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-96811-7 |
| DOI (citable link): | https://dx.doi.org/10.1007/978-3-319-96812-4_12 |
| Subject (DDC): | 510 Mathematics |
| Bibliography of Konstanz: | Yes |
Cite This
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||
JUNK, Michael, Stefan HÖLLE, Sebastian SAHLI, 2018. Formalized Mathematical Content in Lecture Notes on Modelling and Analysis. 11th International Conference, CICM 2018. Hagenberg, Austria, Aug 13, 2018 - Aug 17, 2018. In: RABE, Florian, ed. and others. Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings. Cham:Springer, pp. 125-130. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-96811-7. Available under: doi: 10.1007/978-3-319-96812-4_12
@inproceedings{Junk2018-07-18Forma-46347, title={Formalized Mathematical Content in Lecture Notes on Modelling and Analysis}, year={2018}, doi={10.1007/978-3-319-96812-4_12}, number={11006}, isbn={978-3-319-96811-7}, issn={0302-9743}, address={Cham}, publisher={Springer}, series={Lecture Notes in Artificial Intelligence}, booktitle={Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings}, pages={125--130}, editor={Rabe, Florian}, author={Junk, Michael and Hölle, Stefan and Sahli, Sebastian} }
<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/46347"> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Sahli, Sebastian</dc:creator> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/46347"/> <dc:language>eng</dc:language> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-07-12T11:42:48Z</dc:date> <dc:contributor>Junk, Michael</dc:contributor> <dc:creator>Hölle, Stefan</dc:creator> <dcterms:title>Formalized Mathematical Content in Lecture Notes on Modelling and Analysis</dcterms:title> <dcterms:issued>2018-07-18</dcterms:issued> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dc:contributor>Sahli, Sebastian</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Junk, Michael</dc:creator> <dc:contributor>Hölle, Stefan</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-07-12T11:42:48Z</dcterms:available> </rdf:Description> </rdf:RDF>
This item appears in the following Collection(s)
Search KOPS
Browse
My Account
