ITM Web of Conferences

Visual-geometric Representation of Theorem Proofs in Nomotex DLS

Yury I. Dimitrienko, Kirill M. Zubarev, Elena A. Gubareva, Tatyana L. Ivanova, Raisa K. Alesina and Alexander V. Alesin

ITM Web Conf., 35 (2020) 03009

Published online: 09 December 2020

DOI: 10.1051/itmconf/20203503009

Yury I. Dimitrienko

Kirill M. Zubarev

Elena A. Gubareva

Tatyana L. Ivanova

Raisa K. Alesina

Alexander V. Alesin

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)