Ukraine) Lpar 1994 (Kiev

u k

titleISBN-13
(ISBN-10)
year of publication
Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994: Proceedings978-O-387-58216-O
(O-387-58216-9)
1994

Ula Lenz