Multimedia interfaces for advanced mathematics: Otter 3.0 as a case study
Date issued
1995
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Václav Skala - UNION Agency
Abstract
Description
Subject(s)
multimédia, automatické dokazování vět, expertní systém, animace, hypermédia
Citation
Journal of WSCG. 1995, vol. 3, no. 1-2.