Research

What might "Understand a Function" mean?


Reference:

Davenport, J., 2007. What might "Understand a Function" mean? In: Kauers, M., Kerber, M., Miner, R. and Windsteiger, W., eds. Towards Mechanized Mathematical Assistants. Vol. 4573. Springer Lecture Notes in Artificial Intelligence, pp. 55-65.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Details

Item Type Book Sections
CreatorsDavenport, J.
EditorsKauers, M., Kerber, M., Miner, R. and Windsteiger, W.
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code5292

Export

Actions (login required)

View Item