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
|
