Multimedia interfaces for advanced mathematics: Otter 3.0 as a case study

Date issued

1995

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.
OPEN License Selector