1![Defensio, Master Thesis, University of Innsbruck, IMPLEMENTATION & EVALUATION OF THE KNOWLEDGE ELEMENT PREPARATION MODEL RESEARCH OBJECTIVE Defensio, Master Thesis, University of Innsbruck, IMPLEMENTATION & EVALUATION OF THE KNOWLEDGE ELEMENT PREPARATION MODEL RESEARCH OBJECTIVE](https://www.pdfsearch.io/img/8eb1256e7c69a9fe16694d076a7d3ee2.jpg) | Add to Reading ListSource URL: www.maria-a-schett.netLanguage: English - Date: 2016-12-11 09:15:12
|
---|
2![From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting Student. Maria A Schett University of Innsbruck Technikerstrasse 21a From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting Student. Maria A Schett University of Innsbruck Technikerstrasse 21a](https://www.pdfsearch.io/img/7fdd6dc1b54e12df3b7b590bf98219db.jpg) | Add to Reading ListSource URL: www.maria-a-schett.netLanguage: English - Date: 2016-12-11 09:11:57
|
---|
3![master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck](https://www.pdfsearch.io/img/187622ec2e00ad5d7db12625d62898ec.jpg) | Add to Reading ListSource URL: www.maria-a-schett.netLanguage: English - Date: 2016-12-11 09:15:03
|
---|
4![Beyond DRAT: Challenges in Certifying UNSAT1 Bertram Felgenhauer University of Innsbruck ARCADE Beyond DRAT: Challenges in Certifying UNSAT1 Bertram Felgenhauer University of Innsbruck ARCADE](https://www.pdfsearch.io/img/efb10d69706595ba62699ca74279c527.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-08 03:28:34
|
---|
5![From Trees to Graphs: Kruskal’s Tree Theorem & Termination master’s thesis @ University of Innsbruck, Austria Maria A Schett From Trees to Graphs: Kruskal’s Tree Theorem & Termination master’s thesis @ University of Innsbruck, Austria Maria A Schett](https://www.pdfsearch.io/img/709158be3deff1f7a8f7cb8f1bac3178.jpg) | Add to Reading ListSource URL: www.maria-a-schett.netLanguage: English - Date: 2016-12-11 09:17:22
|
---|
6![This space is reserved for the EPiC Series header, do not use it Beyond DRAT: Challenges in Certifying UNSAT∗ Bertram Felgenhauer University of Innsbruck This space is reserved for the EPiC Series header, do not use it Beyond DRAT: Challenges in Certifying UNSAT∗ Bertram Felgenhauer University of Innsbruck](https://www.pdfsearch.io/img/c806da83383d658ea648dacccb2d070a.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:11:10
|
---|
7![Distributed and Parallel Systems Group University of Innsbruck Simone Pellegrini, Radu Prodan and Thomas Fahringer
Distributed and Parallel Systems Group University of Innsbruck Simone Pellegrini, Radu Prodan and Thomas Fahringer
](https://www.pdfsearch.io/img/49f1326a2d4024dec4c239ab62160e39.jpg) | Add to Reading ListSource URL: www.pdp2012.orgLanguage: English - Date: 2012-02-15 05:21:24
|
---|
8![Email Reduction through SpontaneousRecall, Vacation & Expiry Version 1.1 Release date: by Tom Nolf University of Innsbruck Email Reduction through SpontaneousRecall, Vacation & Expiry Version 1.1 Release date: by Tom Nolf University of Innsbruck](https://www.pdfsearch.io/img/be6e646bf1332748568d2b59024e307f.jpg) | Add to Reading ListSource URL: heim.ifi.uio.noLanguage: English - Date: 2008-07-22 05:20:34
|
---|
9![Robustness and Up-to-us-ness Simon Kittle University of Innsbruck BIBLID626X; pp. 35–57] Abstract Robustness and Up-to-us-ness Simon Kittle University of Innsbruck BIBLID626X; pp. 35–57] Abstract](https://www.pdfsearch.io/img/f0e651c7c5d659a1572a1ad018734ab3.jpg) | Add to Reading ListSource URL: www.disputatio.letras.ulisboa.ptLanguage: English - Date: 2017-10-27 10:38:07
|
---|
10![Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka, University of Copenhagen Cezary Kaliszyk, University of Innsbruck http://cl-informatik.uibk.ac.at/cek/coqhammer/ Hammer for Coq: Automation for Dependent Type Theory Łukasz Czajka, University of Copenhagen Cezary Kaliszyk, University of Innsbruck http://cl-informatik.uibk.ac.at/cek/coqhammer/](https://www.pdfsearch.io/img/c09eca3e50e02e05f15eac2464d171cd.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.atLanguage: English - Date: 2018-04-03 08:55:56
|
---|