%0 Conference Paper %1 schillerBenzmuellerKI09 %A Schiller, Marvin %A Benzmüller, Christoph %B KI 2009: Advances in Artificial Intelligence %C Berlin Heidelberg %D 2009 %E Mertsching, Bärbel %E Hund, Marcus %E Aziz, Zaheer %I Springer Verlag %K granularity presentation proof %P 289-279 %T Presenting Proofs with Adapted Granularity %V 5803

@inproceedings{schillerBenzmuellerKI09, added-at = {2009-08-25T19:52:22.000+0200}, address = {Berlin Heidelberg}, author = {Schiller, Marvin and Benzm\"uller, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/214e62d861583f4ad65db8c62c55c1a78/marvinschiller}, booktitle = {KI 2009: Advances in Artificial Intelligence}, editor = {Mertsching, B\"{a}rbel and Hund, Marcus and Aziz, Zaheer}, interhash = {39ec15f143d797501a49ab15764df566}, intrahash = {14e62d861583f4ad65db8c62c55c1a78}, keywords = {granularity presentation proof}, pages = {289-279}, publisher = {Springer Verlag}, timestamp = {2009-08-25T19:52:22.000+0200}, title = {Presenting Proofs with Adapted Granularity}, volume = {5803 }, year = 2009 }