Advertisement

From Logic Design to Logic Programming

Theorem Proving Techniques and P-Functions

  • Authors
  • Dominique Snyers
  • André Thayse
Book
  • 645 Downloads

Part of the Lecture Notes in Computer Science book series (LNCS, volume 271)

Table of contents

About this book

Keywords

declarative programming grammars logic programming semantics theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-18217-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-18217-7
  • Online ISBN 978-3-540-47811-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site