About this book

Keywords

Computing EDV Gleichung Mathematische Logik Programmiersprache Systems equation function language logic programming language proof semantics Übersetzer (EDV)

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-08531-9
  • Copyright Information Springer-Verlag 1977
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-08531-7
  • Online ISBN 978-3-540-35983-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book