Logic programming and automated reasoning : 5th international conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
Frank Pfenning (ed.)
Bok Engelsk 1994 LPAR '94,· Konferanser
Utgitt | Berlin : Springer , c1994
|
---|---|
Omfang | X, 344 s. : fig.
|
Emner | Automatisk deduksjon
Beslutningsteori Konferanser : (NO-TrBIB)HUME15216 Logikkprogrammering logikkprogrammering logikk-programmering automatisk deduksjon |
Sjanger | |
ISBN | 0387582169. - 3540582169
|