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.

$108.06

Save:$21.84 (17%)

Quantity

10 in stock

More Information

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

ISBN 10: 3540223452
ISBN 13: 9783540223450