martin-giese documents

Ich will dir danken 1. Gott mein Herr es ist mir ernst, dies Lied ist dir geweiht. Die Harfe und der Psalter klingt, bevor der Morgen graut
Documents Ich will dir danken 1. Gott mein Herr es ist mir ernst, dies Lied ist dir geweiht. Die Harfe und der Psalter klingt, bevor der Morgen graut
Taclets and the KeY Prover
Documents Taclets and the KeY Prover
Superposition-based Equality Handling for Analytic Tableaux
Documents Superposition-based Equality Handling for Analytic Tableaux
Exact solution of the nonlinear dynamics of recurrent neural mechanisms for direction selectivity
Documents Exact solution of the nonlinear dynamics of recurrent neural mechanisms for direction selectivity
Proof Search without Backtracking for Free Variable Tableaux
Documents Proof Search without Backtracking for Free Variable Tableaux