Zur Kurzanzeige

Applying mechanised reasoning in economics – Making reasoners applicable for domain experts

dc.contributor.authorLange, Christoph
dc.contributor.authorKerber, Manfred
dc.contributor.authorRowat, Colin
dc.contributor.editorHorbach, Matthias
dc.date.accessioned2019-03-07T09:32:42Z
dc.date.available2019-03-07T09:32:42Z
dc.date.issued2013
dc.identifier.isbn978-3-88579-614-5
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/20721
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofINFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-220
dc.titleApplying mechanised reasoning in economics – Making reasoners applicable for domain expertsen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages153-156
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationKoblenz
mci.conference.date16.-20. September 2013


Dateien zu dieser Ressource

Thumbnail
Name:
153.pdf
Größe:
144.3Kb
Format:
PDF
Öffnen

Zur Kurzanzeige