×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of martin-giese
Taclets and the KeY Prover
213 views
Superposition-based Equality Handling for Analytic Tableaux
212 views
Exact solution of the nonlinear dynamics of recurrent neural mechanisms for direction selectivity
216 views
Proof Search without Backtracking for Free Variable Tableaux
216 views