Hans-Albert Schneider
According to our database1,
Hans-Albert Schneider
authored at least 6 papers
between 1984 and 1991.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1991
1990
Appl. Algebra Eng. Commun. Comput., 1990
1989
J. Autom. Reason., 1989
1986
Proceedings of the CONPAR 86: Conference on Algorithms and Hardware for Parallel Processing, 1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
1984
ASSIP-T: A Theorem Proving Machine.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984