nformatik-Kolloquium The Department of Computer Science of Johannes Kepler University Linz1 together with the Austrian Society of Computer Science (ÖGI) invites to the following talk: Andrei Voronkov University of Manch

First Page		Document Content
Date: 2013-10-07 09:23:37		nformatik-Kolloquium The Department of Computer Science of Johannes Kepler University Linz1 together with the Austrian Society of Computer Science (ÖGI) invites to the following talk: Andrei Voronkov University of Manch Add to Reading List Source URL: fmv.jku.at Download Document from Source Website File Size: 36,20 KB Share Document on Facebook