Mathematical Foundations of Computer Science 1979
Springer, Berlin, Heidelberg
Chapter title |
A note on computational complexity of a statistical deducibility testing procedure
|
---|---|
Chapter number | 31 |
Book title |
Mathematical Foundations of Computer Science 1979
|
Published by |
Springer, Berlin, Heidelberg, September 1979
|
DOI | 10.1007/3-540-09526-8_31 |
Book ISBNs |
978-3-54-009526-2, 978-3-54-035088-0
|
Authors |
Ivan Kramosil |