Grundlagen des maschinellen Beweisens

שנה

1989

שפה

German

הוצאה

Vieweg+Teubner Verlag

מהדורות

1

ISBN

9783322842237

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