Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants

שנה

2009

שפה

English

הוצאה

Association for Computing Machinery

מהדורות

1

ISBN

9781605589541

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