Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science - Jaques Calmet - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540617327 - 11. september 1996
Ved uoverensstemmelse mellem cover og titel gælder titel

Jaques Calmet
Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science

Pris
₺ 2.941,25

Bestilles fra fjernlager

Forventes klar til forsendelse 5. - 11. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

The 19 papers presented in this text were selected by the programme committee of the Third International Conference on Artificial Intelligence and Symbololic Mathematical Computation. Topics addressed include theorem proving, rewriting systems, symbolic computation, and spatial reasoning.

384 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 11. september 1996
ISBN13 9783540617327
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 384
Mål 156 × 234 × 20 mm   ·   553 g
Sprog Tysk  
Klipper/redaktør Calmet, Jacques C.
Klipper/redaktør Campbell, J.a.
Klipper/redaktør Pfalzgraf, Jochen (University of Linz, Austria)
Vis alle

Mere med Jaques Calmet

Se alt med Jaques Calmet ( f.eks. Paperback Bog )