×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [undecidability theorem]
Documents
Transitive Roles in Number Restrictions Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin The University of Manchester {kazakov,sattler,zolin}@cs.man.ac.uk
216 views
Documents
Godel Book
46 views