Automated reasoning
Subtitle: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings
By: Jürgen Giesl, Reiner Hähnle (eds.)
Contributors: Giesl, Jürgen; Hähnle, Reiner
Series: Lecture notes in computer science -- 6173. -- Lecture notes in artificial intelligence; LNCS sublibrary. SL 7, Artificial intelligence; Lecture notes in computer science -- 6173.; Lecture notes in computer science; LNCS sublibrary
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 534
ISBN-13: 9783642142024
Subjects: Computer logic; Congresses; Automatic theorem proving
Other titles: IJCAR 2010
Notes: Includes bibliographical references and index.