Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
Jacques Calmet, John A. Campbell (eds.)
Bok Engelsk 1993 International Conference AISMC
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
|