Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, S - detaljert visning

Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings


Utgitt	Berlin : Springer , c1996
Omfang	VIII, 379 s. : ill.
Emner	Kunstig intelligens Matematisk logikk Symbolsk databehandling symbolbehandling matematikk kunstig intelligens
ISBN	3540617329