Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
Claude Kirchner, Hélène Kirchner (eds.)
Bok Engelsk 1998 International Conference on Automated Deduction
| Utgitt | Berlin : Springer , c1998
|
|---|---|
| Omfang | XIV, 441 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540646752
|
