<--- Back to Details
First PageDocument Content
Europe / Julius von Hann / Franz S. Exner / University of Graz / Victor Francis Hess / Johannes Letzmann / Graz / University of Innsbruck / Leopold Pfaundler / Geography of Austria / Austria / Hans Benndorf
Date: 2009-10-13 09:26:11
Europe
Julius von Hann
Franz S. Exner
University of Graz
Victor Francis Hess
Johannes Letzmann
Graz
University of Innsbruck
Leopold Pfaundler
Geography of Austria
Austria
Hans Benndorf

Add to Reading List

Source URL: www.uni-graz.at

Download Document from Source Website

File Size: 4,14 MB

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