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

Bibliotek som har denne