|
1.
|
Automated Reasoning Электронный ресурс Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings edited by Ulrich Furbach, Natarajan Shankar. by Furbach, Ulrich | Shankar, Natarajan | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
|