Logic Programming and Automated Reasoning

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

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

Szerző: Andrei Voronkov

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

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

Információk a könyvről

Szerző

Andrei Voronkov

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1993

oldal

394

EAN

9783540569442

ISBN

3540569448

Enbook ID

05274323

Kiadó

Springer, Berlin

Súly

533

Méretek

155 x 233 x 21

Teljes leírás

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

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Logic Programming and Automated Reasoning

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták