A to Z List of Ebooks
| Title | Author | ISBN | Publisher | Subject | Vol/Edition | Year |
|---|---|---|---|---|---|---|
| 8th International Conference on Automated Deduction | Jörg H. Siekmann |
9783540398615 |
Springer |
Computer Science |
230 |
1986 |
