Fast Subsumption Algorithms
Georg Gottlob and Alexander Leitsch
Details
| Book Title |
EUROCAL '85‚ European Conference on Computer Algebra‚ Linz‚ Austria‚ April 1−3‚ 1985‚ Proceedings Volume 2: Research Contributions |
| Editor |
B. F. Caviness |
| ISBN |
3−540−15984−3 |
| Pages |
64−77 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
204 |
| Year |
1985 |
Links
Related pages
|
People |