Logic Programming and Automated Reasoning

Name: Logic Programming and Automated Reasoning
Brand: Springer, Berlin
SKU: 9783540569442
Price: 276.9 RON
Availability: InStock

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

Autor: Andrei Voronkov

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.90 lei

LPAR is an international conference series aimed at bringing together researchers interested in logi...

Informații despre carte

Autor

Andrei Voronkov

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1993

Pagini

394

EAN

9783540569442

ISBN

3540569448

Enbook ID

05274323

Editura

Springer, Berlin

Greutate

533

Dimensiuni

155 x 233 x 21

Descriere completă

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 early1970s. 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".

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Logic Programming and Automated Reasoning

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și