 |
|
 |  |  Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010
Rewriting is a form of inference, and one that interacts in several ways
with other forms of inference such as decision procedures and proof search. We
discuss a range of issues at the intersection of rewriting and inference. How can
other inference procedures be combined with rewriting? Can rewriting be used to
describe... |  |  Foundation HTML5 Animation with JavaScript
This book is about how to create interactive animations for the web using computer code and math. But
don't worry if you can't remember anything from your high school algebra class, you'll just need a minimal
understanding to get started. The purpose of this book is to give you the tools to create and express your... |
|
|
|
|
Result Page: 7 6 5 4 3 2 1 |