Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science - Andrei Voronkov - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540569442 - 29 juni 1993
Om omslag och titel inte matchar är det titeln som gäller

Andrei Voronkov
Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science

Pris
SEK 559

Beställningsvara

Förväntad leverans 6 - 14 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

This volume contains the proceedings of an international conference which brought together researchers interested in logic programming and automated reasoning. The results obtained from both of these fields were then applied to deductive databases.

408 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 29 juni 1993
ISBN13 9783540569442
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 408
Mått 155 × 233 × 21 mm   ·   576 g
Språk Tyska  
Redaktör Voronkov, Andrei

Fler produkter med Andrei Voronkov

Visa alla

Se alt med Andrei Voronkov ( t.ex. Pocketbok och Inbunden Bok )