Reasoning about partial functions with the aid of a computer Journal Articles
- Overview
- Research
- Identity
- Additional Document Info
- View All
Overview
status
publication date
- November 1995
has subject area
- 2202 History and Philosophy of Specific Fields (FoR)
- 2203 Philosophy (FoR)
- Philosophy (Science Metrix)