Automated Reasoning: Third International Joint Conference, Ijcar 2006, Seattle, Wa, USA, August 17-20, 2006, Proceedings
Format: paperback
ISBN:
9783540371878 (3540371877)
Publish date: August 3rd 2006
Publisher: Springer
Pages no: 688
Edition language: English