Automatische Synthese rekursiver Programme als Beweisverfahren

Web Site CiNii Available at 1 libraries

Bibliographic Information

Title
"Automatische Synthese rekursiver Programme als Beweisverfahren"
Statement of Responsibility
Susanne Biundo
Publisher
  • Springer-Verlag
Publication Year
  • c1992
Book size
24 cm
Series Name / No
  • : us
  • : gw

Search this Book/Journal

Related Books

See more

Details 詳細情報について

  • CRID
    1130282270959094912
  • NII Book ID
    BA21172813
  • ISBN
    0387553002
    3540553002
  • LCCN
    93201302
  • Web Site
    https://lccn.loc.gov/93201302
  • Text Lang
    de
  • Country Code
    gw
  • Title Language Code
    de
  • Place of Publication
    • Berlin ; New York
  • Data Source
    • CiNii Books
Back to top