TU Darmstadt / ULB / TUbiblio

Intuitionistic proof transformations and their application to constructive program synthesis

Egly, Uwe ; Schmitt, S. (1998)
Intuitionistic proof transformations and their application to constructive program synthesis.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1998
Autor(en): Egly, Uwe ; Schmitt, S.
Art des Eintrags: Bibliographie
Titel: Intuitionistic proof transformations and their application to constructive program synthesis
Sprache: Englisch
Publikationsjahr: 1998
Ort: Berlin (u.a.)
Verlag: Springer
Reihe: International Conference on Artificial Intelligence and Symbolic Computation <4, 1998, Plattsburg, NY>: Proceedings. Hrsg.: J. Calmet (u.a.) - Berlin (u.a.): Springer, 1998. S. 132-144
Band einer Reihe: 1476
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:22
Letzte Änderung: 05 Mär 2013 08:46
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen