×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [theorema research group]
Home >
theorema research group
Towards Natural Style for Resolution Proofs in Theorema Diana Dubu West University of Timişoara eAustria Research Institute Supervisor Prof. Dr. Tudor.
213 views
Towards Natural Style for Resolution Proofs in Theorema
21 views
Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub- Model Gábor Kusper
[email protected]
Eszterházy Károly.
219 views