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
|
