Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
ML Logic for Computable Functions metalanguage intuitionistic logic POP-1 proof Baroque POP-2 University of Edinburgh COWSEL Nuprl paraML constructive drool-proof paper Edinburgh Prolog four colour map theorem Scheme-Linda General Recursion Theorem PRL exercise, left as an natural deduction Pascal-Linda Lisp-Linda EMAS WPOP Oblog ML-Linda Prolog-2 POPLER Cantor EdML C++Linda ELSIE Extended ML Alice Cogent Prolog PDA ABSYS supercombinators Edinburgh SML ABSET Standard ML Edinburgh Multi Access System Marseille Prolog ASL+ Prolog-Linda philosophy Echidna SWI-Prolog ESLPDPRO Isabelle ELLIS IMProved Mercury autocode axiom PROOF/L Micro Interpreter for Knowledge Engineering Sticks&Stones Personal Digital Assistant Pleuk grammar development system lemma more...