Logic programming and nonmonotonic reasoning : 4th international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings


Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)
Bok Engelsk 1997 International Conference on Logic Programming and Non-monotonic Reasoning,· Konferanser (Form)
Utgitt
Berlin : Springer , c1997
Omfang
X, 452 s. : ill.
Emner
Sjanger
Konferanser (Form) : (NO-TrBIB)HUME01265. - Konferanser
ISBN
3540632557

Bibliotek som har denne