Automated Deduction with Shannon Graphs
- 1 January 1995
- journal article
- Published by Oxford University Press (OUP) in Journal of Logic and Computation
- Vol. 5 (6) , 697-729
- https://doi.org/10.1093/logcom/5.6.697
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: