<--- Back to Details
First PageDocument Content
Harun Farocki / Linke / Innsbruck
Date: 2016-02-25 07:26:02
Harun Farocki
Linke
Innsbruck

aut. architektur und tirol aut: press Exhibition armin linke

Add to Reading List

Source URL: www.aut.cc

Download Document from Source Website

File Size: 155,28 KB

Share Document on Facebook

Similar Documents

Evaluation

Defensio, Master Thesis, University of Innsbruck, IMPLEMENTATION & EVALUATION OF THE KNOWLEDGE ELEMENT PREPARATION MODEL RESEARCH OBJECTIVE

DocID: 1xVIm - View Document

Theoretical computer science / Mathematics / Graph theory / Formal languages / Logic in computer science / Graph rewriting / Mathematical logic / Rewriting / Graph / KnuthBendix completion algorithm / Abstract semantic graph / Tree

From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting Student. Maria A Schett University of Innsbruck Technikerstrasse 21a

DocID: 1xU4a - View Document

Theoretical computer science / Mathematics / Formal languages / Discrete mathematics / Graph theory / Graph rewriting / Logic in computer science / Rewriting / Rewrite order / Confluence / Graph / Abstract semantic graph

master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

DocID: 1xU26 - View Document

Computational complexity theory / Conflict-driven clause learning / Drat / Exponential time hypothesis / Felgenhauer / NP-complete problems

Beyond DRAT: Challenges in Certifying UNSAT1 Bertram Felgenhauer University of Innsbruck ARCADE

DocID: 1xTHk - View Document

Mathematics / Graph theory / Theoretical computer science / Mathematical logic / Graph / Rewriting / Kruskal's tree theorem

From Trees to Graphs: Kruskal’s Tree Theorem & Termination master’s thesis @ University of Innsbruck, Austria Maria A Schett

DocID: 1xTlH - View Document