 |
|
 Generic Inference: A Unifying Theory for Automated Reasoning
Abstract mathematical structures usually have a large number of models. Algorithms
based on operations and laws of such structures therefore have an identical form:
they are generic. This means that for each particular instance of the structure, only
the basic operations have to be adapted, whereas the overall algorithm remains the... |  |  |  |  |
|
|
|
 Elementary and Intermediate Algebra
Algebra can be like a foreign language, but ELEMENTARY AND INTERMEDIATE ALGEBRA, 5E, gives you the tools and practice you need to fully understand the language of algebra and the "why" behind problem solving. Using Strategy and Why explanations in worked examples and a six-step problem solving strategy, ELEMENTARY AND INTERMEDIATE... |  |  Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings (Lecture Notes in Computer Science)
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and... |  |  |
|
Result Page: 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 |