%0 Conference Paper %1 conf/gi/0002KR13 %A Lange, Christoph %A Kerber, Manfred %A Rowat, Colin %B GI-Jahrestagung %D 2013 %E Horbach, Matthias %I GI %K dblp %P 153-156 %T Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts. %U http://dblp.uni-trier.de/db/conf/gi/gi2013.html#0002KR13 %V P-220 %@ 978-3-88579-614-5

@inproceedings{conf/gi/0002KR13, added-at = {2023-07-04T00:00:00.000+0200}, author = {Lange, Christoph and Kerber, Manfred and Rowat, Colin}, biburl = {https://www.bibsonomy.org/bibtex/299ab4f7306674a47a5e9750a51b1f263/dblp}, booktitle = {GI-Jahrestagung}, crossref = {conf/gi/2013}, editor = {Horbach, Matthias}, ee = {https://dl.gi.de/handle/20.500.12116/20721}, interhash = {50bdfbeacdcc3725ceda14ef8d329a57}, intrahash = {99ab4f7306674a47a5e9750a51b1f263}, isbn = {978-3-88579-614-5}, keywords = {dblp}, pages = {153-156}, publisher = {GI}, series = {LNI}, timestamp = {2024-04-09T22:18:48.000+0200}, title = {Applying Mechanised Reasoning in Economics - Making Reasoners Applicable for Domain Experts.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi2013.html#0002KR13}, volume = {P-220}, year = 2013 }