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
|