Logic Programming and Nonmonotonic Reasoning

Author

V. Wiktor Marek, Anil Nerode, M. Truszczyński

Publisher

Springer

Subject

Computer Science

Year

1995

Vol/Edition

928

ISBN

9783540492825