ý kiến bạn đọc

FGCS ’92 : Fifth generation computer systems 1992 - volume 2

1. Reasoning about programs; 2. Analogy; 3. Abduction (1); 4. Abduction (2); 5. Semantics of logic programs; 6. Invited paper; 7. Machine learning; 8. Theorem proving; 9. Functional programming and constructive logic; 10. Temporal reasoning; 11. Hardware architecrure and evaluation; 12. Invited ...

ICQ for Dummies

Tác giả: Peter Weverka, Michael Taylor

ICQ For Dummies authors Peter Weverka and Michael Taylor, computer publishing pros, spell out what it takes to use this popular Web tool to your advantage and watch your own popularity grow, too!

Mastering Autocad 2000 objects

Tác giả: Dietmar Rudolph

What's the best way to learn a graphics program? Visually, of course! Based on Sybex's best-selling JumpStart books for technical professionals, AutoCAD 2000 Visual JumpStart is the perfect way to rapidly master the essentials of AutoCAD. In painless, clear language -- and ...