|
|
|
|
|
| | | | Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, ProceedingsThis volume constitutes the proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR 2004) held July 4–8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the first IJCAR in Siena, Italy in 2001, which brought together different research communities working in automated reasoning.
... |
|
|
|
|
Result Page: 13 12 11 10 9 8 7 6 5 4 3 2 1 |