Martin H Fricke - Scholarly Works - Arizona Board of Regents

View Scopus Profile

h-index

Research activity per year

14 Article
2 Review article
1 Book
1 Chapter
More
- 1 Conference contribution
- 1 Letter

1 results

Filter

2012
Best-Path Theorem Proving: Compiling Derivations
Frické, M., 2012, Studies in History and Philosophy of Science(Netherlands). Springer Science and Business Media B.V., p. 255-274 20 p. (Studies in History and Philosophy of Science(Netherlands); vol. 28).
Research output: Chapter in Book/Report/Conference proceeding › Chapter