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
|