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
$115.73

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.

$115.73

Save:$10.09 (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

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

New

$115.73

Synopsis

$115.73

More Information