×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [subgoals theorema]
Towards Natural Style for Resolution Proofs in Theorema Diana Dubu West University of Timişoara eAustria Research Institute Supervisor Prof. Dr. Tudor
217 views
Towards Natural Style for Resolution Proofs in Theorema
24 views