%0 Conference Paper %1 conf/frocos/DahnW96 %A Dahn, Bernd I. %A Wolf, Andreas %B FroCoS %D 1996 %E Baader, Franz %E Schulz, Klaus U. %I Kluwer Academic Publishers %K dblp %P 175-192 %T Natural Language Presentation and Combination of Automatically Generated Proofs. %U http://dblp.uni-trier.de/db/conf/frocos/frocos1996.html#DahnW96 %V 3 %@ 0-7923-4271-2

@inproceedings{conf/frocos/DahnW96, added-at = {2017-03-20T00:00:00.000+0100}, author = {Dahn, Bernd I. and Wolf, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2b845b7b59e715fac2b4fe232b969b19e/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/1996}, editor = {Baader, Franz and Schulz, Klaus U.}, interhash = {7865400b0849cf5f51275d93412363e3}, intrahash = {b845b7b59e715fac2b4fe232b969b19e}, isbn = {0-7923-4271-2}, keywords = {dblp}, pages = {175-192}, publisher = {Kluwer Academic Publishers}, series = {Applied Logic Series}, timestamp = {2017-03-21T11:38:53.000+0100}, title = {Natural Language Presentation and Combination of Automatically Generated Proofs.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos1996.html#DahnW96}, volume = 3, year = 1996 }