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
|