Počet záznamů: 1
A proof complexity generator
- 1.KRAJÍČEK, J. A proof complexity generator. In: GLYMOUR, C., WANG, W., WESTERSTAHL, D., eds. Logic, Methodology and Philosophy of Science. London: College Publications, 2009, s. 185-190. ISBN 978-1-904987-45-1.
Počet záznamů: 1