2. Langage PASCAL et logique du premier ordre / Maurice Margenstern

Public ISBD Titre : Langage PASCAL et logique du premier ordre : Tome 2, Récursivité et dérécursification, preuves et complexité d'algorithmes Type de document : texte imprimé Auteurs : Maurice Margenstern, Auteur Editeur : Paris : Masson Année de publication : 1989 Collection : Logique mathématiques informatique, ISSN 0995-2179 num. 4 Importance : 288 p. Présentation : couv. en coul.graph. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-81953-7 Note générale : Bibliogr. p. 267-270. Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation Langage PASCAL et logique du premier ordre : Tome 2, Récursivité et dérécursification, preuves et complexité d'algorithmes [texte imprimé] / Maurice Margenstern, Auteur . - Paris : Masson, 1989 . - 288 p. : couv. en coul.graph. ; 24 cm.. - (Logique mathématiques informatique, ISSN 0995-2179; 4) . ISBN : 978-2-225-81953-7 Bibliogr. p. 267-270. Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
62093	08-02-650	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible

Langage PASCAL et logique du premier ordre / Maurice Margenstern

Public ISBD Titre : Langage PASCAL et logique du premier ordre : Tome 1, Programmation en PASCAL, prédicats, systèmes formels, fonctions récursives Type de document : texte imprimé Auteurs : Maurice Margenstern, Auteur Année de publication : 1989 Importance : 287 p. Présentation : couv. en coul. ill. Format : 24 cm. ISBN/ISSN/EAN : 2-225-81900-9 Note générale : Bibliogr. p.279-280.Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation Langage PASCAL et logique du premier ordre : Tome 1, Programmation en PASCAL, prédicats, systèmes formels, fonctions récursives [texte imprimé] / Maurice Margenstern, Auteur . - 1989 . - 287 p. : couv. en coul. ill. ; 24 cm. ISBN : 2-225-81900-9 Bibliogr. p.279-280.Index. Langues : Français (fre) Index. décimale : 08-02 Logiciels et programmation

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
62088	08-02-549	Livre	Bibliothèque de faculté d'informatique et mathématique	Informatique	Disponible

Les théorèmes d'incomplétude de Gödel / Raymond Merrill Smullyan

Public ISBD Titre : Les théorèmes d'incomplétude de Gödel Type de document : texte imprimé Auteurs : Raymond Merrill Smullyan (1919-2017), Auteur ; Maurice Margenstern, Traducteur Editeur : Paris : Dunod Année de publication : 2000 Collection : Masson sciences Importance : 134 p. Présentation : couv. en coul. ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-005287-5 Note générale : Bibliogr. p.130-132. Index. Langues : Français (fre) Langues originales : Anglais (eng) Index. décimale : 04-07-Logique mathématique Les théorèmes d'incomplétude de Gödel [texte imprimé] / Raymond Merrill Smullyan (1919-2017), Auteur ; Maurice Margenstern, Traducteur . - Paris : Dunod, 2000 . - 134 p. : couv. en coul. ill. ; 24 cm.. - (Masson sciences) . ISBN : 978-2-10-005287-5 Bibliogr. p.130-132. Index. Langues : Français (fre) Langues originales : Anglais (eng) Index. décimale : 04-07-Logique mathématique

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
128186	04-07-38	Livre	Bibliothèque de faculté d'informatique et mathématique	Mathématiques	Disponible

---

1 (1 - 3 / 3) Par page : 25 50 100 200