- www.floc-conference.org
- 4
- 29
During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In..
Relevance: 8.373329