Computational logic : symposium proceedings, Brussels, November 13/14, 1990
J. W. Lloyd (ed.)
Bok Engelsk 1990
Utgitt | Berlin : Springer , c1990
|
---|---|
Omfang | IX, 211 s. : ill.
|
Opplysninger | "... proceedings of the "Symposium on Computational Logic" held on the occasion of the 7th ESPRIT Conference Week in November 1990" - Forordet.
|
Emner | Automatic theorem proving - Congresses
Logic, Symbolic and Mathematical - Congresses Logikkprogrammering logikkprogrammering kongresser form forskning edb |
ISBN | 0387534377. - 3540534377
|