Normal view
MARC view
Automated Reasoning Электронный ресурс Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings edited by Ulrich Furbach, Natarajan Shankar.
Material type:![Computer file](/opac-tmpl/lib/famfamfam/CF.png)
No physical items for this record
There are no comments on this title.