Table of contents

  1. Front Matter
  2. Pages 1-12
  3. ML
    Pages 13-61
  4. Pages 62-86
  5. Back Matter

About this book

Keywords

computation logic

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-09724-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1979
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-09724-2
  • Online ISBN 978-3-540-38526-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book