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) artificial intelligence (5) Automated Reasoning (2) automatic theorem prooving (1) bibalex (1) CG (1) computer (1) computer science (9) computers (1) computing (1) conference proceedings (1) cs (1) DH (1) ejer (1) ejet (1) electrical-engineering-and-computer-science (subject) (1) electrical-engineering-and-computer-science/6-945-adventures-in-advanced-symbolic-programming-spring-2009 (course) (1) faglitteratur (3) IJCAI (1) kontor (2) l:office-1 (1) logic (2) matematik (5) MIT OCW (1) NF (1) recommend (1) School of Engineering (school) (1) Shelf 23 (1) textbook (1) unreviewed (1) X-jlk-loc-parents my room (1)