Logique et démonstration automatique [ Livre] : introduction à la logique propositionnelle et à la logique du premier ordre / Stéphane Devismes,... Pascal Lafourcade,... Michel Lévy,...
Auteur principal: Devismes, Stéphane, 1979-...., Auteur IdrefCo-auteur: Lafourcade, Pascal, 1977-...., Auteur Idref;Lévy, Michel, 19..-...., maître de conférences, Auteur IdrefLangue : français.Publication : Paris : Ellipses, 2012.Description : 1 vol. (209 p.) : fig., tabl., couv. ill. en coul. ;
26 cmISBN : 9782729872298.Collection: Technosup : les filières technologiques des enseignements supérieursSujet - Nom commun: Logique du premier ordre -- Manuels d'enseignement supérieur | Calcul des propositions -- Manuels d'enseignement supérieur | Boole, Algèbre -- Manuels d'enseignement supérieur
Livre
Il n'y a pas de commentaire pour ce document.