Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
Robert Nieuwenhuis (ed.)
Bok Engelsk 2005 International Conference on Automated Deduction
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | XIII, 457 s. : ill.
|
| Emner | |
| ISBN | 3540280057. - 9783540280057
|
