What might "Understand a Function" mean?

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)
Original languageEnglish
Title of host publicationTowards Mechanized Mathematical Assistants
EditorsM Kauers, M Kerber, R Miner, W Windsteiger
PublisherSpringer
Pages55-65
Number of pages11
Volume4573
Publication statusPublished - 2007

Cite this