GLUE: Opening the World to Theorem Provers

Authors:
Gerd Neugebauer;Dorothea Schäfer
Affiliations:
-;-
Venue:
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Year:
1997

Citing 0
Cited 3

Token-Templates and Logic Programs for Intelligent Web Search

Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
Nonmonotonic Logic Programming

IEEE Transactions on Knowledge and Data Engineering
Super logic programs

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract