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
|
