Heuristiken zum Beweisen von Gleichungen

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

学位論文

/persons/resource/persons44045

Autexier, Serge
Programming Logics, MPI for Informatics, Max Planck Society;

There are no locators available

There are currently no full texts shared for your IP range.

公開されているフルテキストはありません

There is no public supplementary material available

Autexier, S. (1996). Heuristiken zum Beweisen von Gleichungen. Master Thesis, Universität des Saarlandes, Saarbrücken.

要旨はありません