Searching for authors named "Martina Seidl" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Some questions for institutions to consider further in their own context • To what extent are current or developing institutional strategies for learning and teaching seen to incorporate the underlying principles of ‘information literacy’ among their stud
- … Results ⋆ Johannes Oetsch, Martina Seidl, Hans Tompits, and Stefan Woltran Institut für…
- Cited by 1 (1 self) – Add To MetaCart
-
cc⊤: A correspondencechecking tool for logic programs under the answer-set semantics
- … Oetsch 1 , Martina Seidl 2 , Hans Tompits 1 , and Stefan Woltran 1 1 Institut für Informationssysteme 184…
- Cited by 1 (1 self) – Add To MetaCart
-
A Solver for QBFs in Negation Normal Form
- …A Solver for QBFs in Negation Normal Form Uwe Egly, Martina Seidl, Stefan Woltran Technische…
- Add To MetaCart
-
From Models to Ontologies and Back Again: The ModelCVS Approach for Integrating Modeling Tools 1
- … ,Gerhard Kramler 1 , Thomas Reiter 2 , Werner Retschitzegger 2 , Wieland Schwinger 3 , Martina Seidl 1…
- Add To MetaCart
Showing 1 through 4.
