Publication year: 2008
: 978-3-540-71070-7
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008.
: Computer Science, Automat, automata, automated reasoning, description logics, proving, theorem proving, verification,