Titre :	Langage Pascal et logique du premier ordreTome 1 : programmation en Pascal - prédicats -systémes formels - fonctions récursives
Type de document :	texte imprime
Auteurs :	Maurice Margenstern
Editeur :	Paris : Masson
Année de publication :	1989
Collection :	Logique mathématiques informatique
Importance :	287 p.
Présentation :	ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-225-81900-1
Note générale :	Bibliogr. Index
Langues :	Français
Mots-clés :	Padcal  Logique  Récursivité  Dérécursification  Algorithmes  Complexité
Index. décimale :	005.133 Langages de programmation spécifiques
Permalink :	./index.php?lvl=notice_display&id=11900

Langage Pascal et logique du premier ordreTome 1 : programmation en Pascal - prédicats -systémes formels - fonctions récursives [texte imprime] / Maurice Margenstern . - Paris : Masson, 1989 . - 287 p. : ill. ; 24 cm. - (Logique mathématiques informatique) .
ISBN : 978-2-225-81900-1
Bibliogr. Index
Langues : Français

Mots-clés :	Padcal  Logique  Récursivité  Dérécursification  Algorithmes  Complexité
Index. décimale :	005.133 Langages de programmation spécifiques
Permalink :	./index.php?lvl=notice_display&id=11900