Hans-Albert Schneider
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1985–1986
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1986 | CADE | An Improvement of Deduction Plans: Refutation Plans. | Hans-Albert Schneider |
| 1985 | IJCAI | ASSIP-T: A Theorem-Proving Machine. | Werner Dilger, Hans-Albert Schneider |