What might "Understand a Function" mean?

Research output: Chapter or section in a book/report/conference proceedingChapter or section

1 Citation (SciVal)
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