Complexity of mechanized hypothesis formation


Authored By:P. Pudlak and F. N. Springsteel
Paper Title:Complexity of mechanized hypothesis formation
In:Theoret. Comput. Sci.
Vol. 8
Publication Date: 1979
Pages:203-225

BibTeX Record:
@Article{ps-cmhf-79,
author = "P. Pudlak and F. N. Springsteel",
title = "Complexity of mechanized hypothesis formation",
journal = "Theoret. Comput. Sci.",
volume = "8",
year = "1979",
pages = "203--225",
}

Hide BibTex Record