Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)
Bok Engelsk 1996 International Conference AISMC
| Utgitt | Berlin : Springer , c1996
|
|---|---|
| Omfang | VIII, 379 s. : ill.
|
| Emner | Kunstig intelligens
Matematisk logikk Symbolsk databehandling symbolbehandling matematikk kunstig intelligens |
| ISBN | 3540617329
|
