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
|
