1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Automatisches Beweisverfahren, Berechnungstheorie, Computer science, Congres, Congresses, Electronic data processing, Formale Sprache, Informatica, Informatik, Informatique, Kongress, Kongresser, Programmiersprache, Programutvikling, Technologie de l'informationID Numbers
- OLID: OL5409156A
Links outside Open Library
No links yet. Add one?
October 11, 2008 | Created by ImportBot | initial import |