0% found this document useful
Loading
Professional Documents
Culture Documents
Document
Jebelean 21-07
Added by Tudor Jebelean
Document
A Heuristic Prover For Elementary Analysis in Theorema
Added by Tudor Jebelean
Document
A Set-Based Approach To Qualitative and Quantitative Estimation of Competence
Added by Tudor Jebelean
Document
A Purely Logical Approach To Program Termination
Added by Tudor Jebelean
Document
Algebraic Methods in Automated Reasoning
Added by Tudor Jebelean