Integrating symbolic mathematical computation and artificial intelligence : second international con - detaljert visning

Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers


Utgitt	Berlin : Springer , c1995
Omfang	X, 275 s. : fig.
Emner	Kunstig intelligens Matematisk logikk symbolbehandling matematikk databehandling kunstig intelligens numerisk analyse diskret
ISBN	3540601562