Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Franz Baader (ed.)
Bok Engelsk 2003 International Conference on Automated Deduction
Annen tittel | |
---|---|
Medvirkende | |
Utgitt | Berlin : Springer , c2003
|
Omfang | XII, 502 s. : ill.
|
Emner | |
Dewey | |
ISBN | 3540405593
|