5852722
9783540182177
Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.Snyers, D. is the author of 'From Logic Design to Logic Programming', published 1987 under ISBN 9783540182177 and ISBN 3540182179.
[read more]