Logo des Repositoriums
 

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

Kurzanzeige
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.pissn1617-5468
dc.identifier.urihttps://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
gi.citation.endPage156
gi.citation.publisherPlaceBonn
gi.citation.startPage153
gi.conference.date16.-20. September 2013
gi.conference.locationKoblenz
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
153.pdf
Größe:
144.35 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P220 - INFORMATIK 2013 - Informatik angepasst an Mensch, Organisation und Umwelt