10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
M. E. Stickel (ed.)
Bok Språk ikke angitt 1990 International Conference on Automated Deduction
Annen tittel | |
---|---|
Utgitt | Berlin : Springer , c1990
|
Omfang | XVI, 688 s. : ill.
|
Emner | |
ISBN | 0387528857. - 3540528857
|