C-tableaux (2004)
Download:
|
|
by Thme Sym, Calogero G. Zarba, Calogero G. Zarba
http://www.loria.fr/~zarba/papers/Zar04d.ps.gz
Add To MetaCart
Abstract:
apport de recherche
Citations
| 340 | First-Order Logic and Automated Theorem Proving (2 nd ed – Fitting - 1996 |
| 5 | Quantifier elimination and provers integration – Ghilardi - 2003 |
