Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Fages, François (1959-....). Auteur du texte  Voir les notices liées en tant qu'auteur

Titre(s) : Formes canoniques dans les algèbres booléennes et application à la démonstration automatique en logique de premier ordre [Texte imprimé]

Publication : 78-Rocquencourt : Institut national de recherche en informatique et en automatique, [s.d.]

Description matérielle : 136 p. : ill. ; 30 cm

Note(s) : Th. 3e cycle : Inform. : Paris 6 : 1983

Identifiants, prix et caractéristiques : ISBN 2-7261-0342-1

Identifiant de la notice  : ark:/12148/cb36101033k

Notice n° :  FRBNF36101033