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
|
