Axel Präcklein
According to our database1,
Axel Präcklein
authored at least 5 papers
between 1991 and 1996.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1996
Ann. Math. Artif. Intell., 1996
1995
Reformulating Resolution Problems by Tactics.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995
1992
Integration of rewriting, narrowing, compilation, and heuristics for equality reasoning in resolution-based theorem proving.
PhD thesis, 1992
1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991