%0 Conference Paper %1 conf/pricai/Huang96 %A Huang, Xiaorong %B PRICAI %D 1996 %E Foo, Norman Y. %E Goebel, Randy %I Springer %K dblp %P 399-410 %T Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. %U http://dblp.uni-trier.de/db/conf/pricai/pricai96.html#Huang96 %V 1114 %@ 3-540-61532-6

@inproceedings{conf/pricai/Huang96, added-at = {2017-05-19T00:00:00.000+0200}, author = {Huang, Xiaorong}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a31154b31772674f39bdadb99bb07e56/dblp}, booktitle = {PRICAI}, crossref = {conf/pricai/1996}, editor = {Foo, Norman Y. and Goebel, Randy}, ee = {https://doi.org/10.1007/3-540-61532-6_34}, interhash = {75b82c940fe3968cc8490eb952812d38}, intrahash = {a31154b31772674f39bdadb99bb07e56}, isbn = {3-540-61532-6}, keywords = {dblp}, pages = {399-410}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:47:04.000+0200}, title = {Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level.}, url = {http://dblp.uni-trier.de/db/conf/pricai/pricai96.html#Huang96}, volume = 1114, year = 1996 }