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)

New
Paperback
2004
$108.08

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.

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.08

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

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

New

$108.08

Synopsis

$108.08

More Information