Mon compte
Ma liste - 0
Catalogue
Ressources numériques
Nouveautés
Liens utiles
Mon compte
Recherche rapide
Recherche avancée
Recherche alphabétique
Historique
Information
Recherche
Auteur
Titre
Sujet
Titre de revue
Collection
Editeur
Note
Tous mots
ISBN
PPN
Modifier la recherche
>
CERGY
Elargir la recherche
Sur le même sujet :
Logique mathématique -- Manuels d'enseignement supérieur
Logique du premier ordre -- Manuels d'enseignement supérieur
Calcul des propositions -- Manuels d'enseignement supérieur
Boole, Algèbre de -- Manuels d'enseignement supérieur
Théorèmes -- Démonstration automatique -- Manuels d'enseignement supérieur
Algorithmes -- Manuels d'enseignement supérieur
Parcourir le catalogue
par auteur:
Devismes , Stéphane , 1979-....
Lafourcade , Pascal , 1977-.... , Informaticien
Lévy , Michel , 19..-.... , maître de conférences
Rechercher sur Internet
Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)
Aperçu dans Google Books
Affichage MARC
Auteur :
Devismes , Stéphane , 1979-....
Lafourcade , Pascal , 1977-.... , Informaticien
Lévy , Michel , 19..-.... , maître de conférences
Titre :
Logique
et démonstration automatique : introduction à la
logique
propositionnelle et à la
logique
du
premier
ordre
, Stéphane Devismes,... Pascal Lafourcade,... Michel Lévy,...
Editeur :
Paris , Ellipses
--
impr. 2012
Description :
1 vol. (209 p.) : ill., couv. ill. ; 26 cm
Collection :
Technosup . Informatique théorique : les filières technologiques des enseignements supérieurs
ISBN:
978-2-7298-7229-8 , br. , 24 EUR
Notes :
Bibliogr. p. [205]. Index
Niveau A ( IUT-BTS-1er cycle)
Sujet :
Logique
mathématique
--
Manuels
d
'enseignement
supérieur
Logique
du
premier
ordre
--
Manuels
d
'enseignement
supérieur
Calcul des propositions
--
Manuels
d
'enseignement
supérieur
Boole, Algèbre de
--
Manuels
d
'enseignement
supérieur
Théorèmes
--
Démonstration automatique
--
Manuels
d
'enseignement
supérieur
Algorithmes
--
Manuels
d
'enseignement
supérieur
Exemplaires
Site
Emplacement
Cote
Type de prêt
Statut
Site des Cerclades
Rez-de-chaussée
511.3 DEV
Prêt
Disponible
Réserver
Site de Saint-Martin
Rotonde
511.3 DEV
Prêt
Disponible
Réserver
Pour toute question,
contactez la bibliothèque
Horizon Information Portal 3.25_france_v1m© 2001-2019
SirsiDynix
Tous droits réservés.