Alan Bundy (1)

125A (1) 2006_catalog (1) 2009 (1) 2F3 (1) @goog (1) @uasc (1) @work (1) [Box D13] (1) AI (3) annotated (1) Automated Reasoning (2) automatic theorem prooving (1) bibalex (1) CG (1) conference proceedings (1) cs (1) DH (1) electrical-engineering-and-computer-science (subject) (1) electrical-engineering-and-computer-science/6-945-adventures-in-advanced-symbolic-programming-spring-2009 (course) (1) IJCAI (1) Informàtica (9) Informàtica (1) Intel·ligència artificial (5) l:office-1 (1) lògica (2) matemàtiques (5) MIT OCW (1) NF (1) no ficció (3) office (2) Ordinador (1) Ordinador (1) own (1) owned (1) recommend (1) School of Engineering (school) (1) Shelf 23 (1) textbook (1) unreviewed (1) X-jlk-loc-parents my room (1)