Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Ulrich Furbach, Natarajan Shankar (eds.)
Bok Engelsk 2006 IJCAR 2006
Utgitt | Berlin : Springer , c2006
|
---|---|
Omfang | XV, 680 s. : fig.
|
Emner | |
ISBN | 3540371877. - 9783540371878
|