%0 Conference Paper %1 conf/ismis/ConsoleGS91 %A Console, Luca %A Giordana, Attilio %A Saitta, Lorenza %B ISMIS %D 1991 %E Ras, Zbigniew W. %E Zemankova, Maria %I Springer %K dblp %P 316-325 %T Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus. %U http://dblp.uni-trier.de/db/conf/ismis/ismis91.html#ConsoleGS91 %V 542 %@ 3-540-54563-8

@inproceedings{conf/ismis/ConsoleGS91, added-at = {2017-05-20T00:00:00.000+0200}, author = {Console, Luca and Giordana, Attilio and Saitta, Lorenza}, biburl = {https://www.bibsonomy.org/bibtex/21814a4ae061c2a4f983885feaf3e3b63/dblp}, booktitle = {ISMIS}, crossref = {conf/ismis/1991}, editor = {Ras, Zbigniew W. and Zemankova, Maria}, ee = {https://doi.org/10.1007/3-540-54563-8_95}, interhash = {91f4f3a8c825163f073356220139701d}, intrahash = {1814a4ae061c2a4f983885feaf3e3b63}, isbn = {3-540-54563-8}, keywords = {dblp}, pages = {316-325}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:00:41.000+0200}, title = {Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus.}, url = {http://dblp.uni-trier.de/db/conf/ismis/ismis91.html#ConsoleGS91}, volume = 542, year = 1991 }