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

Refinement of classical proofs for program extraction

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

Ablegen in:
 




Refinement of classical proofs for program extraction

Autor: Ratiu, Diana
Ort, Verlag, Jahr: , , 2011
Umfang: XVI, 233 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:Ratiu, Diana
Titel:Refinement of classical proofs for program extraction
Von:von Diana Ratiu
Jahr:2011
Umfang:XVI, 233 S.
Illustrationsangabe:graph. Darst.
Hochschulschrift :München, Univ., Diss, 2011
BV-Nummer:BV039608097
Andere Ausgabe:Erscheint auch als
Andere Ausgabe:Online-Ausgabe