Concepedia

Publication | Closed Access

Theorem Proving Modulo

DOI

212

Citations

23

References

2003

Year

Gilles Dowek, Thérèse Hardin, Claude Kirchner
Journal of Automated Reasoning

References

YearCitations

Page 1