Automated Reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
Publication Date: 2008
ISBN: 978-3-540-71070-7
Internet Resource: Please Login to download book
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008.
Subject: Computer Science, Automat, automata, automated reasoning, description logics, proving, theorem proving, verification,
