Main From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions cover

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

,
4.0 / 5.0
0 comments
Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.
Request Code : ZLIBIO963014
Categories:
Year:
1987
Edition:
1
Publisher:
Springer-Verlag Berlin Heidelberg
Language:
English
Pages:
125
ISBN:
978-3-540-18217-7,978-3-540-47811-9
Series:
Lecture Notes in Computer Science 271
This book is not available due to the complaint of the copyright holder.

Comments of this book

There are no comments yet.