Books listed by ISBN
>
Springer
> Lusk R.
Lusk R.
L. R.
title
ISBN-13
(ISBN-10)
year of publication
9th International Conference on Automated Deduction: Argonne, Illinois: Proceedings
978-O-387-19343-4
(O-387-19343-X)
1988
Lustig Robert