[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

1. CL 2000: London, UK

Refine list

showing all ?? records

Invited Papers

Program Development (LOPSTR)

Logic Programming: Theory and Extensions

Constraints

Automated Deduction: Putting Theory into Practice

Knowledge Representation and Non-monotonic Reasoning

Database Systems (DOOD)

Logic Programming: Implementations and Applications