OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems (bibtex)
by Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg Siekmann
Reference:
OMEGA: Resource-Adaptive Processes in an Automated Reasoning Systems (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg Siekmann), Chapter in Resource-Adaptive Cognitive Processes (Matthew W. Crocker, Jörg Siekmann, eds.), Springer, Cognitive Technologies, pp. 389-423, 2010. ((Final project report, DFG SFB 378))
Bibtex Entry:
@incollection{B10,
  Author =	 {Serge Autexier and Christoph Benzm\"uller and
                  Dominik Dietrich and J\"org Siekmann},
  Booktitle =	 {Resource-Adaptive Cognitive Processes},
  Doi =		 {10.1007/978-3-540-89408-7_17},
  Editor =	 {Matthew W. Crocker and J\"org Siekmann},
  Isbn =	 {978-3-540-89407-0},
  Keywords =	 {own, Proof Assistants, OMEGA, Interactive Proof,
                  Automated Reasoning, Proof Planning, System
                  Integration, Agents},
  Note =	 {(Final project report, DFG SFB 378)},
  Pages =	 {389-423},
  Publisher =	 {Springer},
  Series =	 {Cognitive Technologies},
  Title =	 {{OMEGA}: Resource-Adaptive Processes in an Automated
                  Reasoning Systems},
  Url =		 {http://christoph-benzmueller.de/papers/B10.pdf},
  Year =	 2010,
}
Powered by bibtexbrowser