Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
E. Lamma, P. Mello (eds.)
Bok Engelsk 1993 ELP '92
Utgitt | Berlin : Springer-Verlag , c1993
|
---|---|
Omfang | VIII, 417 s. : fig.
|
Emner | Logic programming - Congresses
Logikkprogrammering Logikkprogrammering - Kongresser logikkkprogrammering kongresser form symbolsk logikk bevisteori logikkprogrammering logisk programmering |
ISBN | 0387564543. - 3540564543
|