TY -
GEN
AU - Trifonov, Trifon
AU - Schwichtenberg, Helmut
TI -
Analysis of methods for extraction of programs from non-constructive proofs
PB - Universitätsbibliothek der Ludwig-Maximilians-Universität
KW - Hochschulschrift
PY - 2012
CY - München
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -