Konferenzbeitrag

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

Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2013
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt
Regular Research Papers
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Beschreibung
Lange, Christoph; Kerber, Manfred; Rowat, Colin (2013): Applying mechanised reasoning in economics – Making reasoners applicable for domain experts. INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-614-5. pp. 153-156. Regular Research Papers. Koblenz. 16.-20. September 2013
Schlagwörter
Zitierform
DOI
Tags