9th International Conference on Automated Deduction

שנה

2007

שפה

English

הוצאה

Springer

מהדורות

1

עמודים

792

ISBN

9783540193432

מקור הנתונים: Wikidata