From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions
题名:
From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions
ISBN:
9783540478119
版:
1st ed. 1987.
PRODUCTION_INFO:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987.
物理描述:
IV, 125 p. online resource.
系列:
Lecture Notes in Computer Science, 271
内容:
Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars and Semantics.
附加著者:
附加团体著者:
语言:
英文