[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/mkm/2013>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Christoph_Lange_0002>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/David_Aspinall_0001>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Jacques_Carette>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Petr_Sojka>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Wolfgang_Windsteiger>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Christoph_Lange_0002>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/David_Aspinall_0001>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Jacques_Carette>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Petr_Sojka>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Wolfgang_Windsteiger>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1007%2F978-3-642-39320-4>
foaf:homepage <https://doi.org/10.1007/978-3-642-39320-4>
dc:identifier DBLP conf/mkm/2013 (xsd:string)
dc:identifier DOI doi.org%2F10.1007%2F978-3-642-39320-4 (xsd:string)
dc:identifier ISBN 978-3-642-39319-8 (xsd:string)
swrc:isbn ISBN 978-3-642-39319-8 (xsd:string)
dcterms:issued 2013 (xsd:gYear)
rdfs:label Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/0002CKMRWW13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/0002RK13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AbanadesB13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/AllamigeonGMW13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BarrasGHRTWW13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BonischBCGS13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/BradfordDEW13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/ChebukovIMPZ13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/DoP13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/EnglandBDW13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Farmer13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/GinevM13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/HerasK13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/HerasMRRS13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/HuW13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Ion13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KaliszykU13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KamaliT13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/KohlhaseMR13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Libbrecht13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/LuthR13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Mahboubi13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/MartinP13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Miller13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/NghiemKTA13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/ObuaAA13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Prank13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/QuaresmaSB13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Rabe13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/RuzickaSK13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/SchonebergS13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/TankinkKUG13>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/mkm/Tonisson13>
dc:publisher Springer (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/mkm/2013/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/mkm/2013>
owl:sameAs <urn:isbn:978-3-642-39319-8>
rdfs:seeAlso <http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-3-642-39319-8>
rdfs:seeAlso <https://doi.org/10.1007/978-3-642-39320-4>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/mkm>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/conf/mkm/mkm2013.html>
dc:title Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document
swrc:volume 7961 (xsd:string)