Generalized Quantifiers in Logic Programs
Thomas Eiter‚ Georg Gottlob and Helmut Veith
Details
| Book Title |
Generalized Quantifiers and Computation‚ 9th European Summer School in Logic‚ Language‚ and Information‚ ESSLLI'97 Workshop‚ Aix−en−Provence‚ France‚ August 11−22‚ 1997‚ Revised Lectures |
| Editor |
Jouko A. Väänänen |
| ISBN |
3−540−66993−0 |
| Pages |
72−98 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
1754 |
| Year |
1997 |
Links
Related pages
|
People |