Foundations of disjunctive logic programming
Jorge Lobo, Jack Minker, Arcot Rajasekar
Bok Engelsk 1992
| Utgitt | Cambridge, Mass. : MIT Press , c1992
|
|---|---|
| Omfang | 307 s. : fig.
|
| Emner | Logic programming (Computer science)
Matematisk logikk Programutvikling programvare programmering symbolsk logikk bevisteori logikkprogrammering |
| ISBN | 0262121654
|
