4 Ebooks por William M. Farmer
William M. Farmer & Grant O. Passmore: Intelligent Computer Mathematics
?This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers pre …
EPUB
Inglês
DRM
€57.90
James H. Davenport & William M. Farmer: Intelligent Computer Mathematics
This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the …
PDF
Inglês
DRM
€57.60
William M. Farmer: Simple Type Theory
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.The book is an introd …
PDF
Inglês
DRM
€70.78