| Document Date: 2014-11-03 10:29:10 Open Document File Size: 170,51 KBShare Result on Facebook
/ Event Product Issues / Product Recall / / IndustryTerm car/cdr/cons / unification search processes / unification algorithm / computational systems / automated deduction systems / computing / type systems / calculus containing products / logical and computational systems / depth-first search mechanism / / Organization Using Church / Dale Miller Department of Computer Science and Engineering / The Pennsylvania State University University / / Person Dale Miller / / / Position interpreter / programmer / / Product expressions / / ProgrammingLanguage ML / Prolog / Pascal / Lisp / L / / Technology alpha / unification algorithm / /
SocialTag |