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
Open PDFAbstract
Available in full text
Date
December 30, 2011
Authors
Publisher
International Information and Engineering Technology Association