First Page | Document Content | |
---|---|---|
Date: 2003-04-29 11:11:13Operating system Formal methods Algorithm Mathematical logic Theoretical computer science | Learning Procedures for Autonomic Computing Tessa Lau, Daniel Oblinger, Lawrence Bergman, and Vittorio Castelli IBM T.J. Watson Research Center P.O. Box 704 Yorktown Heights, NY 10598Document is deleted from original location. Download Document from Web Archive |