From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions

Başlık:

ISBN:

9783540478119

Personal Author:

Edition:

1st ed. 1987.

Yayın Bilgileri:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987.

Fiziksel Tanımlama:

IV, 125 p. online resource.

Series:

Lecture Notes in Computer Science, 271

Contents:

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

Subject Term:

Added Author:

Ek Kurum Yazarı:

Elektronik Erişim:

Dil:

English