Handbook of Automated Reasoning (in 2 volumes)

@inproceedings{2001HandbookOA,
  title={Handbook of Automated Reasoning (in 2 volumes)},
  author={},
  year={2001}
}
  • Published 2001
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
166 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 166 extracted citations

Similar Papers

Loading similar papers…