Accueil
Vous pouvez faire des propositions d'achat de livres, en utilisant
le formulaire en ligneVous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.
vous cherchez un livre à la bibliothèque centrale?
Auteur Maurice MARGENSTERN
|
|
Documents disponibles écrits par cet auteur (3)
Faire une suggestion Affiner la recherche
Titre : Langage pascal et logique du premier ordre T.1 : programmation en pascal- prédicats- systèmes formels- fonctions récursives Type de document : texte imprimé Auteurs : Maurice MARGENSTERN, Auteur Editeur : Masson Année de publication : 1989 Collection : Logique Mathématiques informatique Importance : 287 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81900-1 Note générale : index Langues : Français (fre) Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Langage pascal et logique du premier ordre T.1 : programmation en pascal- prédicats- systèmes formels- fonctions récursives [texte imprimé] / Maurice MARGENSTERN, Auteur . - Masson, 1989 . - 287 p. ; 25 cm.. - (Logique Mathématiques informatique) .
ISBN : 978-2-225-81900-1
index
Langues : Français (fre)
Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000859999 08-02-649 Livre Salle 1 Documentaires Exclu du prêt 62091
Titre : Langage pascal et logique du premier ordre T.2 : récursivité et dérécrusification preuves et complexité d'algorithmes Type de document : texte imprimé Auteurs : Maurice MARGENSTERN, Auteur Editeur : Paris : Masson Année de publication : 1990 Collection : Logique mathématiques informatique, ISSN 0995-2179 Importance : 228 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-81953-7 Langues : Français (fre) Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Langage pascal et logique du premier ordre T.2 : récursivité et dérécrusification preuves et complexité d'algorithmes [texte imprimé] / Maurice MARGENSTERN, Auteur . - Paris : Masson, 1990 . - 228 p. ; 25 cm.. - (Logique mathématiques informatique, ISSN 0995-2179) .
ISBN : 978-2-225-81953-7
Langues : Français (fre)
Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000180115 08-02-650 Livre Salle 1 Documentaires Exclu du prêt 62096
Titre : Les Théorèmes d'incomplétude de Godel Type de document : texte imprimé Auteurs : Raymond SMULLYAN, Auteur ; Maurice MARGENSTERN, Traducteur Editeur : Dunod Année de publication : 2000 Collection : Masson sciences Importance : 134 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-10-005287-5 Note générale : Index. Langues : Français (fre) Langues originales : Américain (ame) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Les Théorèmes d'incomplétude de Godel [texte imprimé] / Raymond SMULLYAN, Auteur ; Maurice MARGENSTERN, Traducteur . - Dunod, 2000 . - 134 p. ; 25 cm.. - (Masson sciences) .
ISBN : 978-2-10-005287-5
Index.
Langues : Français (fre) Langues originales : Américain (ame)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000896918 04-07-38 Livre Salle 1 Documentaires Exclu du prêt 128190
