<--- Back to Details
First PageDocument Content
Brenner Base Tunnel / Brenner / Innsbruck bypass / Trans-European Transport Networks / Franzensfeste / European Union / Tunnel / Innsbruck / Brenner Railway / Transport in Europe / Transport / Europe
Date: 2013-07-05 08:30:30
Brenner Base Tunnel
Brenner
Innsbruck bypass
Trans-European Transport Networks
Franzensfeste
European Union
Tunnel
Innsbruck
Brenner Railway
Transport in Europe
Transport
Europe

Add to Reading List

Source URL: inea.ec.europa.eu

Download Document from Source Website

File Size: 421,15 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