Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
higher-order macro HOL Fresh HiLog occurs check Lambda Prolog unification OBJ Lolli XSB TABLOG Han character complete unification first-order HASL Quest first-order logic LNF BABEL CHOCS traversal TrafoLa functional F-Logic Forsythe higher-order function FL ASL+ logic programming Object Role Modeling Cube Isabelle LUCID overclocking Obliq bottom-up implementation map L0 Bird-Meertens Formalism EMM386 Oz Extensible Shell Language for Communicating Systems Ratatosk least fixed point filter predicate logic FP UFO network byte order order-embedding ASCIIbetical order Church integer reverse engineering fix Concurrent ML abstraction Skel-ML Wild_LIFE Similix more...