4 Ebooks de 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 …
EPUB
Engleză
DRM
€56.59
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
Engleză
DRM
€56.09
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 …
PDF
Engleză
DRM
€68.50
