Building Up Hierarchical Mathematical Domains Using Functors in THEOREMA

Windsteiger, W. (Speaker)

Research Institute for Symbolic Computation

Activity: Talk or presentation › Contributed talk › unknown

Period	08 Jul 1999
Event title	Calculemus'99 Symposium
Event type	Conference
Location	ItalyShow on map

Fields of science

102 Computer Sciences

Related content

Projects
CALCULEMUS - Systems for Integrated Computation and Deduction
Project: Funded research › EU - European Union