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

Lange, ChristophKerber, ManfredRowat, ColinHorbach, Matthias2019-03-072019-03-072013978-3-88579-614-5https://dl.gi.de/handle/20.500.12116/20721enApplying mechanised reasoning in economics – Making reasoners applicable for domain expertsText/Conference Paper1617-5468