Advertisement

From Logic Design to Logic Programming

Theorem Proving Techniques and P-Functions

  • Authors
  • Dominique Snyers
  • André Thayse
Book
  • 529 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
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Aerospace
Engineering