Sciweavers

4573 search results - page 69 / 915
» Automated Reasoning
Sort
View
162
Voted
CL
2004
Springer
15 years 7 months ago
Language-independent detection of object-oriented design patterns
Johan Fabry, Tom Mens
170
Voted
CL
2000
Springer
15 years 7 months ago
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
Steffen Hölldobler, Hans-Peter Störr