## Annual Review of Computer Science |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

REASONING UNDER | 39 |

INTENSIONAL SYSTEMS AND NETWORK REPRESENTATIONS | 49 |

LESSONS AND OPEN ISSUES | 65 |

Copyright | |

17 other sections not shown

### Common terms and phrases

2-point agents algebraic algorithm applications approach architecture Artif artificial intelligence assignment basic behavior Boolean caching channel routing problem circuit column complexity computer science Conf connectionist connectionist systems coordination cycle database developed distributed file systems domain theory elliptic curve environment execution expert systems factorization finite fields function Gasser goal graph hardware hypothesis IEEE Trans implementation input instruction integrated Intell interaction interface iteration knock-knee knowledge-based systems language layers logic loop lower bound machine learning Math mechanism methods modulo multiple nets neural node NP-complete number theory operations optimal parallel perceptron performance polynomial prime problem solvers problem-solving Proc processor prototyping quadratic sieve random reasoning robot rules scheduling Section semantics server software pipelining solution solving structure supercomputers superscalar Symp task Tech techniques terminals theorem trace scheduling tracks training examples unit Unix vector vertical constraints