Artificial Intelligence and Symbolic Mathematical Computation: International Conference Aismc-3, Steyr, Austria, September, 23-25, 1996, Proceedings - Lecture Notes in Computer Science - Jaques Calmet - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540617327 - 1996. gada 11. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 24. sept. - . gada 2. okt.
Saņemiet paziņojumus par jauniem Jaques Calmet izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1996. gada 11. septembris
ISBN13 9783540617327
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 384
Izmēri 156 × 234 × 20 mm   ·   553 g
Valoda Vācu  
Redaktors Calmet, Jacques C.
Redaktors Campbell, J.a.
Redaktors Pfalzgraf, Jochen (University of Linz, Austria)

Vairāk no Jaques Calmet

Rādīt visu

Vairāk no tā paša izdevēja