Back to Results
First PageMeta Content
Integration by substitution / Big O notation / Variable / Mathematics / UNI / Polynomial


Chapter 8 Uni ation Theory Franz Baader Wayne Snyder Se ond readers
Add to Reading List

Document Date: 2011-06-21 07:45:42

Open Document

File Size: 641,79 KB

Share Result on Facebook

Company

Unifi / Bendix / Publishers B.V. / /

Event

Man-Made Disaster / /

IndustryTerm

simplest algorithm / term rewriting systems / linear time algorithms / uni ation algorithms / symboli omputation systems / naive algorithm / pra ti al algorithms / approa hes and algorithms / informal algorithm / uni ation algorithm / eÆ ient algorithms / eÆ ient parallel uni ation algorithm / naive uni ation algorithm / /

Organization

Mit / /

Person

Wayne Snyder / Alan Robinson / Andrei Voronkov / Klaus S hulz / Id / /

Position

Guard / /

ProgrammingLanguage

Lisp / C / ML / /

Technology

eÆ ient algorithms / uni ation algorithm / eÆ ient parallel uni ation algorithm / naive uni ation algorithm / pra ti al algorithms / artificial intelligence / linear time algorithms / naive algorithm / uni ation algorithms / Dom / approa hes and algorithms / informal algorithm / /

SocialTag