Automated deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
Harald Ganzinger (ed.)
Bok Engelsk 1999 International Conference on Automated Deduction
Annen tittel | |
---|---|
Utgitt | Berlin : Springer , c1999
|
Omfang | XIV, 428 s. : ill.
|
Emner | |
Dewey | |
ISBN | 3540662227
|