Extensions of logic programming : second international workshop, ELP 91 Stockholm, Sweden, January 27-29, 1991 : proceedings
L-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.)
Bok Engelsk 1992
Utgitt | Berlin : Springer-Verlag , c1992
|
---|---|
Omfang | 369 s.
|
Emner | Logic programming - Congresses
Gcla Logikkprogrammering logikk-programmering kunstig intelligens logikkprogrammering kongresser form symbolsk logikk bevisteori programmeringsspråk matematikk |
ISBN | 038755498X. - 354055498X
|