Normal view
MARC view
- Programming languages
Programming languages (Topical Term)
Machine generated authority record.
Work cat.: (WUSLLib)31941: Harrison, John 4227, Theorem proving with the real numbers, 1998