Options
Title
Automated deduction - CADE-17
Title Supplement
17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 ; proceedings
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
2000
Series
Lecture notes in artificial intelligence; 1831
ISBN
3-540-67664-3