Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science - Andrei Voronkov - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540569442 - June 29, 1993
In case cover and title do not match, the title is correct

Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science

Andrei Voronkov

Price
HK$ 466.20

Ordered from remote warehouse

Expected delivery Jul 25 - Aug 4
Add to your iMusic wish list

Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science

This volume contains the proceedings of an international conference which brought together researchers interested in logic programming and automated reasoning. The results obtained from both of these fields were then applied to deductive databases.


408 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 29, 1993
ISBN13 9783540569442
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 408
Dimensions 155 × 233 × 21 mm   ·   576 g
Language German  
Editor Voronkov, Andrei

Show all

More by Andrei Voronkov