Tell your friends about this item:
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings - Lecture Notes in Computer Science R Gore 2001 edition
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings - Lecture Notes in Computer Science
R Gore
708 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | June 6, 2001 |
| ISBN13 | 9783540422549 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 712 |
| Dimensions | 155 × 235 × 36 mm · 1.08 kg |
| Language | German |
| Editor | Gore, Rajeev |
| Editor | Leitsch, Alexander |
| Editor | Nipkow, Tobias |