Opening book details…
About this nonfiction
Aspects of the Computational Content of Proofs by Underwood J.L. is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Underwood J.L.
- Published
- 1994
- Language
- EN
- Category
- nonfiction
More by Underwood J.L.
Browse all works by Underwood J.L.
Similar books
- Practical Aspects of Computational Chemistry : Methods, Concepts and Applications — Roberto Flores-Moreno, J. V. Ortiz (auth.), Jerzy Leszczynski, Manoj K. Shukla (2010)
- Computational Aspects — Y. Iso, S. Takahashi, K. Onishi (auth.), Dr. Carlos A. Brebbia (1987)
- Physical and Computational Aspects of Convective Heat Transfer || — Tuncer Cebeci, Peter Bradshaw (auth.) (1988)
- Microtransducer Cad: Physical And Computational Aspects (computational Microelectronics) — Prof. Dr. Arokia Nathan, Prof. Dr. Henry Baltes (auth.) (1999)
- Computational Aspects of Very Large Scale Integration — Jeffrey D. Ullman (1984)
- Thermodynamic Models : Fundamentals & Computational Aspects — Michelsen M.L., Mollerup J.M. (2018)