Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994 : Proceedings (Lecture Notes in Computer Science) - Softcover

 
9780387582160: Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994 : Proceedings (Lecture Notes in Computer Science)

Synopsis

International products have separate terms, are sold from abroad and may differ from local products, including fit, age ratings, and language of product, labeling or instructions.

"synopsis" may belong to another edition of this title.

Other Popular Editions of the Same Title

9783540582168: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings: 822 (Lecture Notes in Computer Science, 822)

Featured Edition

ISBN 10:  3540582169 ISBN 13:  9783540582168
Publisher: Springer, 1994
Softcover