DMCA
Paramodulation-Based Theorem Proving (1999)
Cached
Download Links
- [www-lsi.upc.es]
- [www.lsi.upc.es]
- [www.mpi-sb.mpg.de]
- [www.lsi.upc.es]
- [www.lsi.upc.es]
- DBLP
Other Repositories/Bibliography
by
Robert Nieuwenhuis
,
Albert Rubio
Citations: | 129 - 8 self |