%0 Conference Paper %1 conf/frocos/GiunchigliaPT96 %A Giunchiglia, Fausto %A Pecchiari, Paolo %A Talcott, Carolyn L. %B FroCoS %D 1996 %E Baader, Franz %E Schulz, Klaus U. %I Kluwer Academic Publishers %K dblp %P 157-174 %T Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems. %U http://dblp.uni-trier.de/db/conf/frocos/frocos1996.html#GiunchigliaPT96 %V 3 %@ 0-7923-4271-2

@inproceedings{conf/frocos/GiunchigliaPT96, added-at = {2017-03-20T00:00:00.000+0100}, author = {Giunchiglia, Fausto and Pecchiari, Paolo and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/294baa44077fb7dc6198922c5436cce19/dblp}, booktitle = {FroCoS}, crossref = {conf/frocos/1996}, editor = {Baader, Franz and Schulz, Klaus U.}, interhash = {10052d9f077d45f420c12db159c439a1}, intrahash = {94baa44077fb7dc6198922c5436cce19}, isbn = {0-7923-4271-2}, keywords = {dblp}, pages = {157-174}, publisher = {Kluwer Academic Publishers}, series = {Applied Logic Series}, timestamp = {2017-03-21T11:38:53.000+0100}, title = {Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos1996.html#GiunchigliaPT96}, volume = 3, year = 1996 }