Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Paperback Engels 1993 1993e druk 9783540569442Samenvatting
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".
Specificaties
Lezersrecensies
Inhoudsopgave
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan