Type Theory and Functional Programming (International Computer Science Series)
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...
.NET-A Complete Development Cycle
"The authors excel in presenting all aspects of the .NET development cycle in a format accessible to the beginner, and as a primer and reference for the experienced developer. This book is not only educational and informative, but working through it is fun!"
—Dr. Oliver Downs, Chief Scientist, Analytical...
Artificial Intelligence: A Guide to Intelligent Systems (2nd Edition) Provides a practical introduction to artificial intelligence that is less mathematically rigorous than other books on the market. Appropriate for programmers looking for an overview of all facets of artificial intelligence.
[Shelving Category] Artificial Intelligence/Soft Computing
Artificial Intelligence is often perceived...
|Result Page: 81 80 79 78 77 76 75 74 73 72 71 70 69 68 |