KOPS - The Institutional Repository of the University of Konstanz

Formalized Mathematical Content in Lecture Notes on Modelling and Analysis

Formalized Mathematical Content in Lecture Notes on Modelling and Analysis

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