Logic programming and non-monotonic reasoning : proceedings of the First International Workshop
edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
Bok Engelsk 1991
Utgitt | Cambridge, Mass. : MIT Press , c1991
|
---|---|
Omfang | VI, 288 s. : ill.
|
Opplysninger | Bidrag på en konferanse i Washington, D.C., juli 1991
|
Emner | Logic programming - Congresses
Reasoning - Congresses Logikkprogrammering logikkprogrammering tenkning kongresser form |
ISBN | 0262640279
|