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 |
| Creators | Davenport, J. |
| Editors | Kauers, M., Kerber, M., Miner, R. and Windsteiger, W. |
| Departments | Faculty of Science > Computer Science |
| Status | Published |
| ID Code | 5292 |
Export
Actions (login required)
| View Item |
