%0 Conference Paper %1 conf/ecml/Wirth88 %A Wirth, Rüdiger %B EWSL %D 1988 %E Sleeman, Derek H. %I Pitman Publishing %K %P 237-251 %T Learning by Failure to Prove. %U http://dblp.uni-trier.de/db/conf/ecml/ewsl88.html#Wirth88 %@ 0-273-08800-9

@inproceedings{conf/ecml/Wirth88, added-at = {2023-12-12T19:25:58.000+0100}, author = {Wirth, Rüdiger}, biburl = {https://www.bibsonomy.org/bibtex/233839a5d1503c8c70d355e2986ce443b/admin}, booktitle = {EWSL}, crossref = {conf/ecml/1988}, editor = {Sleeman, Derek H.}, interhash = {20a10bb6d38cb4048525965ee58b90fa}, intrahash = {33839a5d1503c8c70d355e2986ce443b}, isbn = {0-273-08800-9}, keywords = {}, pages = {237-251}, publisher = {Pitman Publishing}, timestamp = {2023-12-12T19:25:58.000+0100}, title = {Learning by Failure to Prove.}, url = {http://dblp.uni-trier.de/db/conf/ecml/ewsl88.html#Wirth88}, year = 1988 }