Results 1 - 1 of 1

Generating Proof Representation Structures

by Magister Artium M. A, Philosophischen Fakultät, Nickolay Mitkov Kolev, Dass Die Arbeit, Nickolay Kolev Danksagung, Peter Koepke, Jip Veldman, Merlin Carl, Bernhard Fisseni Zusammenarbeit
"... vorgelegt der ..."
Abstract - Add to MetaCart
vorgelegt der