Logic Programming and Automated Reasoning

4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Häftad, Engelska, 1993

Av Andrei Voronkov

739 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers selected from 84submissions, together with an invited paper by Peter Wegnerentitled "Reasoning versus modeling in computer science".

Produktinformation

Tillhör följande kategorier