Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings: 3097 (Lecture Notes in Computer Science)

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings: 3097 (Lecture Notes in Computer Science)

by David Basin (Author), David Basin (Author), Michael Rusinowitch (Author)

Synopsis

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.

$113.41

Save:$9.89 (8%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 512
Edition: 2004
Publisher: Springer
Published: 22 Jun 2004

ISBN 10: 3540223452
ISBN 13: 9783540223450