%0 Conference Paper %1 conf/cade/BiundoHHW86 %A Biundo, Susanne %A Hummel, Birgit %A Hutter, Dieter %A Walther, Christoph %B CADE %D 1986 %E Siekmann, Jörg H. %I Springer %K dblp %P 672-674 %T The Karlsruhe Induction Theorem Proving System. %U http://dblp.uni-trier.de/db/conf/cade/cade86.html#BiundoHHW86 %V 230 %@ 3-540-16780-3

@inproceedings{conf/cade/BiundoHHW86, added-at = {2016-11-29T00:00:00.000+0100}, author = {Biundo, Susanne and Hummel, Birgit and Hutter, Dieter and Walther, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2951972b24f5b47784526f178e3b0252e/dblp}, booktitle = {CADE}, crossref = {conf/cade/1986}, editor = {Siekmann, Jörg H.}, ee = {http://dx.doi.org/10.1007/3-540-16780-3_132}, interhash = {d1e9781eb8b11fa6a25e1c5cd4663361}, intrahash = {951972b24f5b47784526f178e3b0252e}, isbn = {3-540-16780-3}, keywords = {dblp}, pages = {672-674}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-11-30T11:35:23.000+0100}, title = {The Karlsruhe Induction Theorem Proving System.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade86.html#BiundoHHW86}, volume = 230, year = 1986 }