Advertisement

© 1987

From Logic Design to Logic Programming

Theorem Proving Techniques and P-Functions

  • Authors
Book
  • 660 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

  • Book Title From Logic Design to Logic Programming
  • Book Subtitle Theorem Proving Techniques and P-Functions
  • Authors Dominique Snyers
    Andre Thayse
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • 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
  • Softcover ISBN 978-3-540-18217-7
  • eBook ISBN 978-3-540-47811-9
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages IV, 125
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Logics and Meanings of Programs
    Programming Techniques
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Aerospace
Engineering