Automated reasoning：fourth international joint conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008 : proceedings

Corporate Authors: IJCAR 2008 (2008 Sydney, Australia); SpringerLink (Online service)
Group Author: Dowek Gilles.; Armando Alessandro.; Baumgartner Peter.
Published: Springer,
Publication Dates: 2008.