Fortæl dine venner om denne vare:
Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16-22, 1994 - Proceedings - Lecture Notes in Computer Science
Frank Pfenning
Pris
DKK 563
Bestilles fra fjernlager
Forventes klar til forsendelse 22. - 30. apr.
Tilføj til din iMusic ønskeseddel
Eller
Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16-22, 1994 - Proceedings - Lecture Notes in Computer Science
Frank Pfenning
The proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the "Marshal Koshevoi" near Kiev in July 1994, are recorded in this volume. The research papers cover all relevant aspects, ranging from theory to implementation and application.
352 pages, biography
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | Tyskland, 22. juni 1994 |
ISBN13 | 9783540582168 |
Forlag | Springer-Verlag Berlin and Heidelberg Gm |
Antal sider | 352 |
Mål | 156 × 234 × 19 mm · 508 g |
Klipper/redaktør | Pfenning, Frank |