Back to Results
First PageMeta Content
Logic in computer science / Automated theorem proving / Logic programming / Model theory / Predicate logic / ΛProlog / First-order logic / Prolog / Interpretation / Logic / Mathematical logic / Mathematics


AN OVERVIEW OF λPROLOG GOPALAN NADATHUR Department of Computer Science Duke University Durham, NC
Add to Reading List

Document Date: 2002-09-05 11:33:44

Open Document

File Size: 127,29 KB

Share Result on Facebook
UPDATE