Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2013 -- Informatik angepasst an Mensch, Organisation und Umwelt P-220, 153-156 (2013).

Gesellschaft für Informatik, Bonn
2013


Copyright © Gesellschaft für Informatik, Bonn

Contents

Applying mechanised reasoning in economics - making reasoners applicable for domain experts

Christoph Lange , Manfred Kerber and Colin Rowat


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-614-5


Last changed 12.03.2014 15:12:01