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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783540569442 - 29. juni 1993
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
£ 51,99

Bestilles fra fjernlager

Forventes klar til forsendelse 23. - 29. jul.
Tilføj til din iMusic ønskeseddel
Eller

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

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 29. juni 1993
ISBN13 9783540569442
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 408
Mål 155 × 233 × 21 mm   ·   576 g
Sprog Tysk  
Klipper/redaktør Voronkov, Andrei

Vis alle

Mere med Andrei Voronkov