Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karl - detaljert visning

Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings


Utgitt	Berlin : Springer , c1993
Omfang	305 s. : fig.
Emner	Artificial intelligence - Congresses Logic, Symbolic and mathematical - Congresses Kunstig intelligens Matematisk logikk kunstig intelligens symbolbehandling matematikk databehandling
ISBN	0387573224. - 3540573224