libcats.org
Главная

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Обложка книги Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".
Популярные книги за неделю:

Теория относительности

Автор:
Категория: Physics, Gravitation
Размер книги: 6.18 Mb

Момент истины. В августе 44-го

Автор:
Категория: ИСТОРИЯ
Размер книги: 1.52 Mb

Mein Kampf

Автор:
Категория: fiction
Размер книги: 701 Kb
Только что пользователи скачали эти книги:

Цитатник бегемота

Автор:
Размер книги: 752 Kb

THE FEATHERED OCTOPUS

Автор:
Размер книги: 343 Kb

Frankowski, Leo - Conrad 5 - Lord Conrad's Lady

Автор:
Размер книги: 623 Kb

Jordan, Robert - The Strike at Shayol Ghul

Автор:
Размер книги: 17 Kb

Юрий Моисеев. Смерть напрокат

Автор:
Размер книги: 16 Kb

Browning .50 caliber Machine Guns

Автор:
Размер книги: 11.75 Mb

Ein Grab in den Bergen

Автор:
Категория: fiction
Размер книги: 985 Kb