
Fortæl dine venner om denne vare:
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
Andrei Voronkov
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
Se alt med Andrei Voronkov ( f.eks. Paperback Bog og Hardcover bog )