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  AuteurTitreSujetTitre de revueCollectionCotes BUCotes ENSEACotes IUFM       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.