Author: Lilia Georgieva; Ulrich Hustadt, Renate A. Schmidt; | Publisher: Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002
Call Number: SEM-281 | Edition:
Find Similar
Add to Favorite
Open in New Tab
Call Number: SEM-281 | Edition: