The top documents tagged [formal proofs]
Michael-datamining_kolmogorov.ppt
411 views
Geometry
36 views
ODBASE'08 dl-lite explanations
171 views
DL'12 dl-lite explanations
230 views
Advanced Relational Database Design
121 views
Ch1.1
802 views
Lpl Textbook
1.023 views
Intro to Automata Theory
52 views