| 5th Conference on Automated Deduction Les Arcs, France, 1980 | | | Editor:
| Bibel, Wolfgang
Kowalski, R. | | Series title: | Lecture Notes in Computer Science Ser. | | ISBN: | 978-3-540-10009-6 | | Publication Date: | Jun 1980 | | Publisher: | Springer Berlin / Heidelberg
| | Imprint: | Springer | | Book Format: | Paperback | | List Price: | USD $54.99 |
| |