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 |