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 |
BibTeX
@MISC{Nieuwenhuis99paramodulation-basedtheorem,
author = {Robert Nieuwenhuis and Albert Rubio},
title = {Paramodulation-Based Theorem Proving},
year = {1999}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
