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
|
