Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
    Datensatz exportieren als...
  • BibTeX
Automatische Synthese rekursiver Programme als Beweisverfahren
Informatik-Fachberichte : 302 (Alle Bände)
1992
Signatur: TVI2160

Details

Autor(en) / Beteiligte
Titel
Automatische Synthese rekursiver Programme als Beweisverfahren
Ist Teil von
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
1992
Beschreibungen/Notizen
  • Karlsruhe, Univ., Diss. u.d.T.: Biundo, Susanne: Automatische Synthese rekursiver Algorithmen als Beweisverfahren
Sprache
–
Identifikatoren
ISBN: 3540553002, 0387553002
OCLC-Nummer: 1067656476, 1067656476
Titel-ID: 990005889470106463
Format
VIII, 259 S.
Systemstelle
TVI
Schlagworte
Programmsynthese, Existenzaussage, Induktionsbeweis, Automatisches Beweisverfahren

Lade weitere Informationen...