Books listed by ISBN
>
Springer
> Ukraine) Lpar 1994 (Kiev
Ukraine) Lpar 1994 (Kiev
u k
title
ISBN-13
(ISBN-10)
year of publication
Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994: Proceedings
978-O-387-58216-O
(O-387-58216-9)
1994
Ula Lenz