UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Analysis of methods for extraction of programs from non-constructive proofs

Online Katalog der Universitätsbibliothek der LMU München (1/1)

Ablegen in:
 




Analysis of methods for extraction of programs from non-constructive proofs

Autor: Trifonov, Trifon
Ort, Verlag, Jahr: , , 2011
Umfang: XI, 168 S.

  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellung/Vormerkung
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor:Trifonov, Trifon
Titel:Analysis of methods for extraction of programs from non-constructive proofs
Von:Trifon Trifonov
Jahr:2011
Umfang:XI, 168 S.
Hochschulschrift :München, Univ., Diss., 2012
BV-Nummer:BV040095549
Andere Ausgabe:Erscheint auch als
Andere Ausgabe:Online-Ausgabe