%0 Book Section %1 Furbach:2007fk %A Furbach, Ulrich %A Obermaier, Claudia %B KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, 2006, Proceedings %D 2007 %E Freksa, Christian %E Kohlhase, Michael %E Schill, Kerstin %I Springer %K myown schon west.uni-koblenz.de %T Applications of Automated Reasoning %V 4314

@incollection{Furbach:2007fk, added-at = {2016-10-07T08:45:14.000+0200}, author = {Furbach, Ulrich and Obermaier, Claudia}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-69912-5_14}, biburl = {https://www.bibsonomy.org/bibtex/210a0ec14d15343a6a439dba2e2076ba6/cschon}, booktitle = {{KI} 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, {KI} 2006, Bremen, Germany, 2006, Proceedings}, date-added = {2015-11-24 09:19:21 +0000}, date-modified = {2015-12-19 11:09:08 +0000}, editor = {Freksa, Christian and Kohlhase, Michael and Schill, Kerstin}, interhash = {3595f77d7a66550d3a8d4949ff157a9e}, intrahash = {10a0ec14d15343a6a439dba2e2076ba6}, keywords = {myown schon west.uni-koblenz.de}, language = {English}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-07-12T13:49:23.000+0200}, title = {Applications of Automated Reasoning}, volume = 4314, year = 2007 }