Automation of research in mathematics. Collection of scientific works. (Автоматизация исследований в математике. Сборник научных трудов.) (Russian) Zbl 0509.00002
Akademiya Nauk Ukrainskouı SSR. Nauchnyuı Sovet po Probleme ”Kibernetika”. Ordena Lenina Institut Kibernetiki im. V. M. Glushkova. Kiev: Institut Kibernetiki. 98 p. R. 0.29 (1982).
MSC:
00B15 | Collections of articles of miscellaneous specific interest |
03-06 | Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations |
68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |