-
Anglický jazyk
Logic Programming and Automated Reasoning
Autor: Andrei Voronkov
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...
Viac o knihe
Na objednávku
49.49 €
bežná cena: 54.99 €
O knihe
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".
- Vydavateľstvo: Springer Berlin Heidelberg
- Rok vydania: 1993
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9783540569442
Nemecký jazyk 
