Search
1 heading found for n 81079543
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Siekmann, Jörg H. (1941- ).
Siekmann, Jörg H. Siekmann, J. Jörg Siekmann Siekmann, Jörg, 1941- Siekmann, Jorg |
Personal | 8th International Conference on Automated Deduction : Oxford, England, July 27-A
...
8th International Conference on Automated Deduction : Oxford, England, July 27-A ... 8th International Conference on Automated Deduction : Oxford, England, July 27-A ... Automation of reasoning |