Logic Programming and Automated Reasoning: International Conference LPAR '92, St
69,15 €
The aim ofthe conference was to bring together researchers from theRussian and the international logic programming and theoremproving communities. LPAR '92 is the successor of the First and Second RussianConferences on Logic Programming held in 1990 and 1991,respectively, the proceedings of which were publishedinLNAI Vol.
Jetzt bei Ebay:
