Shankar, Natarajan.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
Automated ReasoningThird International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
by:
(1998 :); Furbach, Ulrich.; Shankar, Natarajan.; SpringerLink (Online service)
(Electronic resources)