Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
David Basin, Michaël Rusinowitch (eds.)
Bok Engelsk 2004 IJCAR 2004
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | XII, 491 s. : ill.
|
| Emner | |
| ISBN | 3540223452
|
