by David Basin (Author), David Basin (Author), Michael Rusinowitch (Author)
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland.
Format: Paperback
Pages: 512
Edition: 2004
Publisher: Springer
Published: 22 Jun 2004
ISBN 10: 3540223452
ISBN 13: 9783540223450