Modular Logic Programming and Generalized Quantifiers
Thomas Eiter‚ Georg Gottlob and Helmut Veith
Details
| Book Title |
Logic Programming and Nonmonotonic Reasoning‚ 4th International Conference‚ LPNMR'97‚ Dagstuhl Castle‚ Germany‚ July 28−31‚ 1997‚ Proceedings |
| Editor |
Jürgen Dix and Ulrich Furbach and Anil Nerode |
| ISBN |
3−540−63255−7 |
| Pages |
290−309 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
1265 |
| Year |
1997 |
Links
Related pages
|
People |