From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions
Título:
From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions
ISBN:
9783540478119
Autor personal:
Edición:
1st ed. 1987.
PRODUCTION_INFO:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987.
Descripción física:
IV, 125 p. online resource.
Serie:
Lecture Notes in Computer Science, 271
Contenido:
Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars and Semantics.
Autor añadido:
Autor corporativo añadido:
Acceso electrónico:
Full Text Available From Springer Nature Computer Science Archive Packages
Idioma:
Inglés