zbMATH — the first resource for mathematics

Computing prime implicates incrementally. (English) Zbl 0925.03054
Kapur, D. (ed.), Automated deduction - CADE-11. Proceedings of the 11th international conference held in Saratoga Springs, NY, USA, June 15–18, 1992. Berlin: Springer. Lect. Notes Comput. Sci. 607, 253-267 (1992).
For the entire collection see [Zbl 0925.00071].

03B35 Mechanization of proofs and logical operations
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68T27 Logic in artificial intelligence
PDF BibTeX Cite