| Born | 1954 |
2 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Trending
Random
| Born | 1954 |
Subjects
Computer programming, Algorithms, Automatic theorem proving, Congresses, Electronic digital computers, programming, Rewriting systems (Computer science)ID Numbers
- OLID: OL1225542A
Links outside Open Library
No links yet. Add one?