Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving

Has publishing details pp. 341-348, 1989

Has title Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving

Has url http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai89.html#Elkan89

Has where published IJCAI

Has year 1989

Has author Charles Elkan +

Has identifier Conspiracy Numbers and Caching for Searching And/Or Trees and Theorem-Proving +

Categories Proceeding Paper +