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
@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",
}