A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Georges KIREMITDJIAN
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesSISGOF (1975) / Georges KIREMITDJIAN
Titre : SISGOF Type de document : texte imprimé Auteurs : Georges KIREMITDJIAN, Auteur Editeur : Orsay : Université Paris XI Année de publication : 1975 Collection : Publication mathématique d'Orsay num. 156-75.45 Mots-clés : système SISGOF langage informatique SISGOF [texte imprimé] / Georges KIREMITDJIAN, Auteur . - Université Paris XI, 1975. - (Publication mathématique d'Orsay; 156-75.45) .
Mots-clés : système SISGOF langage informatique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22008 TAF 203 Livre Recherche Salle Disponible Vérification intéractive de démonstrations mathématiques (1975) / Georges KIREMITDJIAN
Titre : Vérification intéractive de démonstrations mathématiques Type de document : texte imprimé Auteurs : Georges KIREMITDJIAN, Auteur Editeur : Orsay : Université Paris XI Année de publication : 1975 Collection : Publication mathématique d'Orsay Présentation : ill. Mots-clés : démonstration mathématique lambda-calcul langage langage AUTOMATH Langage PAL Note de contenu : bibliogr. Vérification intéractive de démonstrations mathématiques [texte imprimé] / Georges KIREMITDJIAN, Auteur . - Université Paris XI, 1975 . - : ill.. - (Publication mathématique d'Orsay) .
Mots-clés : démonstration mathématique lambda-calcul langage langage AUTOMATH Langage PAL Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22007 TAF 202 Livre Recherche Salle Disponible