Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
ISWIM LogC least recently used grammar inference rule airplane rule Miranda OPS5 narrowing 90-90 Rule Ninety-Ninety Rule operational semantics logic programming knowledge delta reduction type inference PROgrammed Graph REwriting Systems Tree Transformation Language XC redex term rewriting system depeditate FOCL inference engine active DBMS Adaline mouse arrest off-side rule invariant YAPS field servoid wart assertion inference heuristic PARULEL safety-critical system Official Production System fact integrity constraint PLisp COMIT deductive database structural recursion knowledge representation Conway's Law proof Bertrand Sturgeon's Law vanity domain eta conversion comment OBJ production system declarative language download canonical aeroplane rule symbolic inference vannevar more...