Automatische Synthese rekursiver Programme als Beweisverfahren

Author(s)

• Biundo, Susanne

Bibliographic Information

Automatische Synthese rekursiver Programme als Beweisverfahren

Susanne Biundo

（Informatik-Fachberichte, 302）

Springer-Verlag, c1992

• : us
• : gw

Details

• NCID: BA21172813
• ISBN:
  • 0387553002
  • 3540553002
• LCCN: 93201302
• Country Code: gw
• Title Language Code: ger
• Text Language Code: ger
• Place of Publication: Berlin ; New York
• Pages/Volumes: viii, 259 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00325053