×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
peter-baumgartner documents
Education
Strategies for implementing ePortfolios in Higher Education
Documents
iwp 3 06 kliemt
Documents
e-learning Grundlagen
Documents
HdW-Buch
Education
Lernergebnisse (Learning Outcomes): Von der Input- zur Output-Oorientierung
Education
Taxonomie von Unterrichtsmethoden
Documents
Axpo Jubiläumszeitung
Documents
Projektstatus 27.04.2015. Statusbericht 27.04.2015 Aufgabenbereich:Beschreibung:Wer?Status: ProjektvertragLayout gestaltenHenning, Nico Auswahl einer
Documents
Consolution as a Framework for Comparing Calculi
Documents
The model evolution calculus as a first-order DPLL method
Documents
Computing finite models by reduction to function-free clause logic
Documents
Computing answers with model elimination
Documents
Preface to First order theorem proving
Documents
Linear and unit-resulting refutations for Horn theories
Documents
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion
Documents
Model Evolution with equality — Revised and implemented
Education
Digitale Lernsettings gestalten
Education
Feedback-Arten von Online-Lernen mit Multiple-Choice