Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/amai/HuTL92
%A Hu, T. H.
%A Tang, Chuan Yi
%A Lee, Richard C. T.
%D 1992
%J Ann. Math. Artif. Intell.
%K dblp
%N 1-3
%P 235-251
%T An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving.
%U http://dblp.uni-trier.de/db/journals/amai/amai6.html#HuTL92
%V 6
@article{journals/amai/HuTL92,
added-at = {2011-05-18T00:00:00.000+0200},
author = {Hu, T. H. and Tang, Chuan Yi and Lee, Richard C. T.},
biburl = {https://www.bibsonomy.org/bibtex/2dcdadf4de74e04da287e3c7e35d36c90/dblp},
ee = {http://dx.doi.org/10.1007/BF01531030},
interhash = {a535ec0b49a386be55b8ff338fd720a8},
intrahash = {dcdadf4de74e04da287e3c7e35d36c90},
journal = {Ann. Math. Artif. Intell.},
keywords = {dblp},
number = {1-3},
pages = {235-251},
timestamp = {2011-05-19T11:37:23.000+0200},
title = {An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving.},
url = {http://dblp.uni-trier.de/db/journals/amai/amai6.html#HuTL92},
volume = 6,
year = 1992
}
