The problems of input and their implications in mechanization
- Anthology ID:
- DBLP:journals/ipm/Farradane68
- Volume:
- 1968 Volume 4 Issue 2
- Year:
- 1968
- Venue:
- ipm_journal
- Pages:
- 253–256
- URL:
- https://doi.org/10.1016/0020-0271(68)90025-9
- DOI:
- 10.1016/0020-0271(68)90025-9
- DBLP:
- journals/ipm/Farradane68