Keyword: automated reasoning

Found 2 papers in total
Reasoning about designs through frequent patterns mining
Reasoning about designs through frequent patterns mining
2009,
This paper deals with reasoning about designs based on their internal structures in...
Preface: The field of automated reasoning
Preface: The field of automated reasoning
1995,
The term automated reasoning ( first introduced in 1980) accurately describes the...
Papers per page: