%0 Conference Paper %1 conf/aiia/AlbertiGLMT05 %A Alberti, Marco %A Gavanelli, Marco %A Lamma, Evelina %A Mello, Paola %A Torroni, Paolo %B AI*IA %D 2005 %E Bandini, Stefania %E Manzoni, Sara %I Springer %K dblp %P 135-147 %T The SCIFF Abductive Proof-Procedure. %U http://dblp.uni-trier.de/db/conf/aiia/aiia2005.html#AlbertiGLMT05 %V 3673 %@ 3-540-29041-9

@inproceedings{conf/aiia/AlbertiGLMT05, added-at = {2022-01-03T00:00:00.000+0100}, author = {Alberti, Marco and Gavanelli, Marco and Lamma, Evelina and Mello, Paola and Torroni, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2652a7565d8cde239968d6fe133514a67/dblp}, booktitle = {AI*IA}, crossref = {conf/aiia/2005}, editor = {Bandini, Stefania and Manzoni, Sara}, ee = {https://www.wikidata.org/entity/Q57977977}, interhash = {9df59a49d767ea611f20da3865b301b9}, intrahash = {652a7565d8cde239968d6fe133514a67}, isbn = {3-540-29041-9}, keywords = {dblp}, pages = {135-147}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:19:40.000+0200}, title = {The SCIFF Abductive Proof-Procedure.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia2005.html#AlbertiGLMT05}, volume = 3673, year = 2005 }