Reasoning with Logic Programming

Author

José Júlio Alferes, Luís Moniz Pereira

Publisher

Springer

Subject

Computer Science

Year

1996

Vol/Edition

1111

ISBN

9783540686743