Grundlagen des maschinellen Beweisens

שנה

1991

שפה

German

הוצאה

Vieweg+Teubner Verlag

מהדורות

1

ISBN

9783663076810

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