Back to Results
First PageMeta Content
Artificial intelligence / Applied mathematics / Mathematics / Automated theorem proving / Logic programming / Unification


Warren’s Abstract Machine A T UTORIAL R ECONSTRUCTION H ASSAN A¨I T-K ACI [removed] Intelligent Software Group
Add to Reading List

Document Date: 2009-06-30 09:57:55

Open Document

File Size: 517,76 KB

Share Result on Facebook

City

Burnaby / /

Company

MIT Press / /

Country

Canada / /

/

Organization

MIT / http /

/

Position

author / /

ProgrammingLanguage

J / E / R / Prolog / /

ProvinceOrState

British Columbia / /

URL

http /

SocialTag