Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title
Includes:: papers that address the spectrum of research in automated reasoning & are organized in topical sections on specific theories.