Resource Adaptive Processes in Automated Reasoning Systems

@incollection{pub3001,
    author = {

Autexier, Serge
 and 

Benzmüller, Christoph
 and 

Dietrich, Dominik
 and 

Siekmann, Jörg
},
    editor = {

Crocker, Matthew
 and 

Siekmann, Jörg
},
    title = {Resource Adaptive Processes in Automated Reasoning Systems},
    booktitle = {Resource Adaptive Cognitive Processes},
    series = {LNAI},
    year = {2009},
    month = {11},
    pages = {28},
    publisher = {Springer},
    isbn = {978-3-540-89407-0}
}