Computational logic
edited by Ulrich Berger, Helmut Schwichtenberg
Bok Engelsk 1999 NATO Advanced Study Institute on Computational Logic
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | 444 s. : ill.
|
| Opplysninger | "Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997" - Tittelbladets bakside
|
| Emner | |
| ISBN | 3540645896
|
