Foundations of logic programming
J.W. Lloyd
Bok Engelsk 1987
| Utgitt | Berlin : Springer , 1987
|
|---|---|
| Omfang | XII, 212 s. : fig.
|
| Utgave | 2nd, extended ed.
|
| Emner | Electronic digital computers - Programming.
Logic, Symbolic and mathematical. Programming languages (Electronic computers) - Semantics. Logikk Vis mer... Logikkprogrammering
Matematisk logikk Matematisk programmering 681.3.06 L77f 2. utg. (corr. printing 1993) Matematisk programmering Programmering (Databehandling) Programmeringsspråk Symbolsk logikk logikkprogrammering prolog programmeringsspråk symbolsk logikk |
| ISBN | 0387181997. - 3540181997
|
