 |
|
|
 |  |  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... |  |  |
|
 |  |  HTI+ Exam Cram 2
Welcome to the Home Technology Integrator (HTI+) Exam Cram 2! This book is designed to help you prepare to take—and pass—the Computing Technology Industry Association (CompTIA) certification exams HT0-101, "Residential Systems," and HT0-102, "Systems Infrastructure and Integration." This... |  |  Apple Training Series: Desktop and Portable Systems (3rd Edition)
This authoritative, Apple-Certified training course is designed both for professionals who support Apple computers as well as Macintosh enthusiasts who want to upgrade, service, or troubleshoot their favorite systems. Fully revised, this third edition includes Apple's new models with Intel processors, the MacBook Pro, Mac mini, and iMac.... |
|
|
Result Page: 72 71 70 69 68 67 66 65 64 63 62 61 60 59 58 57 56 55 54 |