Logic : a foundation for computer science
V. Sperschneider & G. Antoniou
Bok Engelsk 1991
| Utgitt | Wokingham : Addison-Wesley , 1991
|
|---|---|
| Omfang | xii, 495 s. : ill.
|
| Emner | Artificial intelligence
Computer science Logic, Symbolic and mathematical Hoare-logikk Vis mer... Horn-logikk
Logikkprogrammering Omskrivning Predikatlogikk kunstig intelligens logisk programmering matematisk logikk databehandling |
| ISBN | 0201565145
|
