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 Pessoal:
Edição:
1st ed. 1987.
PRODUCTION_INFO:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987.
Descrição Física:
IV, 125 p. online resource.
Série:
Lecture Notes in Computer Science, 271
Conteúdo:
Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars and Semantics.
Autor Adicionado:
Autor Corporativo Adicionado:
Acesso Eletrônico:
Full Text Available From Springer Nature Computer Science Archive Packages
LANGUAGE:
Inglês