Resource Adaptive Processes in Automated Reasoning Systems
@incollection{ABDS-09-a, author = {Serge Autexier and Christoph Benzm\"uller and Dominik Dietrich and J\"org Siekmann}, editor = {Matthew Crocker and J\"org Siekmann }, booktitle = {Resource Adaptive Cognitive Processes, Part III – Resource-Adaptive Rationality in Machines }, title = {Resource Adaptive Processes in Automated Reasoning Systems}, series = {LNAI}, publisher = {Springer}, pages = {389-423}, year = {2009}, }