Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16-22, 1994 - Proceedings - Lecture Notes in Computer Science - Frank Pfenning - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540582168 - 22. juni 1994
Ved uoverensstemmelse mellem cover og titel gælder titel

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

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

Vis alle

Mere med Frank Pfenning