|
Ж. вычисл. матем. и матем. физ., 1972, том 12, номер 2, страницы 552–556
(Mi zvmmf6702)
|
|
|
|
Научные сообщения
Расширение системы эквивалентных преобразований выражений
В. В. Тумасонис Москва
Аннотация:
На базе существующей диалоговой системы эквивалентных преобразований алгебраических выражений [1] можно строить системы с более богатым языком выражений. Рассматривается реализованное на алгоритмическом языке ЛИСП расширение системы – система для преобразования отношений и логических выражений.
Полный текст:
PDF файл (1085 kB)
Англоязычная версия:
USSR Computational Mathematics and Mathematical Physics, 1972, 12:2, 360–366
Реферативные базы данных:
Тип публикации:
Статья
УДК:
518.5
MSC: 68N01 Поступила в редакцию: 13.09.1971
Образец цитирования:
В. В. Тумасонис, “Расширение системы эквивалентных преобразований выражений”, Ж. вычисл. матем. и матем. физ., 12:2 (1972), 552–556; U.S.S.R. Comput. Math. Math. Phys., 12:2 (1972), 360–366
Цитирование в формате AMSBIB
\RBibitem{Tum72}
\by В.~В.~Тумасонис
\paper Расширение системы эквивалентных преобразований выражений
\jour Ж. вычисл. матем. и матем. физ.
\yr 1972
\vol 12
\issue 2
\pages 552--556
\mathnet{http://mi.mathnet.ru/zvmmf6702}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=0309357}
\zmath{https://zbmath.org/?q=an:0242.68008}
\transl
\jour U.S.S.R. Comput. Math. Math. Phys.
\yr 1972
\vol 12
\issue 2
\pages 360--366
\crossref{https://doi.org/10.1016/0041-5553(72)90196-6}
Образцы ссылок на эту страницу:
http://mi.mathnet.ru/zvmmf6702 http://mi.mathnet.ru/rus/zvmmf/v12/i2/p552
Citing articles on Google Scholar:
Russian citations,
English citations
Related articles on Google Scholar:
Russian articles,
English articles
|
Просмотров: |
Эта страница: | 102 | Полный текст: | 49 | Первая стр.: | 1 |
|