Artificial intelligence and symbolic mathematical computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992.
| 団体著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | 図書 |
| 言語: | English |
| 出版事項: |
Berlin
Springer-Verlag
c1993.
|
| シリーズ: | Lecture notes in computer science
737 |
| 主題: |