Automated reasoning
Subtitle: second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
By: David Basin, Michaël Rusinowitsch (eds.).
Contributors: Basin, David.; Rusinowitsch, Michaël.
Series: Lecture notes in computer science,; 3097. Lecture notes in artificial intelligence; Lecture notes in computer science  ;; 3097.; Lecture notes in computer science.
Publisher: Springer
Published: 2004
Place of publication: Berlin; New York
Language: eng
Number of pages: 491
Subjects: Automatic theorem proving -- Congresses; Computer logic -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.