Ein dynamisches automatisierbares interaktives Kalkül für schematische theoriespezifische Regeln

@inproceedings{Habermalz2001EinDA,
  title={Ein dynamisches automatisierbares interaktives Kalk{\"u}l f{\"u}r schematische theoriespezifische Regeln},
  author={Elmar Habermalz},
  year={2001}
}

Citations

Publications citing this paper.