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øker - Springer-Verlag Berlin and Heidelberg Gm - 9783540617327 - 11. september 1996
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
CA$ 78,49

Bestillingsvarer

Forventes levert 3. - 11. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 11. september 1996
ISBN13 9783540617327
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 384
Mål 156 × 234 × 20 mm   ·   553 g
Språk Tysk  
Redaktør Calmet, Jacques C.
Redaktør Campbell, J.a.
Redaktør Pfalzgraf, Jochen (University of Linz, Austria)
Vis alle

Mer med Jaques Calmet

Se alt med Jaques Calmet ( f.eks. Pocketbok )