8 works Add another?
Sorted by:
Most Editions
|
First Published
|
Most Recent
|
Top Rated
|
Reading Log
|
Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Congresses, Rewriting systems (Computer science), Computer architecture, Congrès, Functional programming languages, Machine theory, Systèmes de réécriture (Informatique), Algebra, Algebra, data processing, Algebraïsche logica, Algorithme, Algorithmes, Algorithms, Bewijstheorie, Computer Programming, Computer Science, Computer algorithms, Computer programming, Computer science, Computermethoden, Computers - Languages / Programming, Data processing, Datenverarbeitung, Démonstration automatique, Démonstration théorèmeID Numbers
- OLID: OL2679259A
Links (outside Open Library)
No links yet. Add one?
April 29, 2008 | Created by an anonymous user | initial import |