Equivalences Et Forme Prénexe Pour Les Formules Booléennes Quantifiées

Revue d'Intelligence Artificielle - France
doi 10.3166/ria.25.717-742
Full Text
Abstract

Available in full text

Date
Authors
Publisher

International Information and Engineering Technology Association


Related search