From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science, 271, Band 271) - Softcover

Snyers, Dominique; Thayse, Andre

 
9783540182177: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science, 271, Band 271)

Inhaltsangabe

Theorem in proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780387182179: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387182179 ISBN 13:  9780387182179
Verlag: Springer Verlag, 1987
Softcover