De la satisfiabilité propositionnelle aux formules booléennes quantifiées

Authors
Publication date
1 January 2008
Publisher

Abstract

LENS-BU Sciences (624982102) / SudocSudocFranceF

    Similar works

    Full text

    thumbnail-image

    Available Versions

    OpenGrey Repository

    redirect
    Last time updated on 14/06/2016