WorldCat Identities

Institut de programmation (Paris)

Overview
Works: 40 works in 42 publications in 3 languages and 64 library holdings
Genres: Academic theses 
Roles: Editor, Other, Organizer of meeting
Classifications: QA267.3, 415
Publication Timeline
.
Most widely held works by Institut de programmation (Paris)
Organisation de mémoires influence d'une structure et étude d'optimisation by Gérard Guiho( Book )

1 edition published in 1973 in French and held by 8 WorldCat member libraries worldwide

Structures ordonnées et algèbres de Boole by Robert Faure( Book )

2 editions published in 1971 in French and held by 6 WorldCat member libraries worldwide

Introduction to formal grammars by Maurice Gross( Book )

1 edition published in 1970 in French and held by 4 WorldCat member libraries worldwide

The present work originates in a course given by the authors during the last few years in various university departments and institutions, among which we should like to mention: the Centre de Linguistique Quantitative of the Faculte des Sciences de Paris, created at the instance of the late Professor Favard; the Chaire d'Analyse Numerique of the Faculte des Sciences de Paris (Professor Rene de Possel), curriculum of Troisieme Cycle; the Chaire de Physique Mathematique of the University of Toulouse (Professor M. Laudet), for the degree DiplOme d'Etudes Approfondies in the section "Traitement de I'Information" ; the department 1 of linguistics of the University of Pennsylvania (Professor Z.S. Harris); Institut de Programmation of the Faculte des Sciences de Paris for the troisieme niveau. the courses in the Written for purely didactic purposes, this Introduction to Formal Grammars makes no pretense to any scientific originality. Large portions of it have been borrowed from the fundamental and "classic" works cited in the bibliography, such as that of M. Davis, Computability and Unsolvability [9], and those of N. Chomsky, among others Formal Properties of Grammars [6]. Ineluctably, there are numerous borrowings made during a course, and the authors would like to acknowledge their debt to J. Pitrat for his lectures given in the Centre de Linguistique Quantitative mentioned above, and to M. Nivat for his work in connection 2 and transduction
Evaluation automatique de formules de la logique combinatoire : application aux techniques de preuves by J Michel( Book )

1 edition published in 1976 in French and held by 4 WorldCat member libraries worldwide

Problèmes d'optimisation by J Abadie( Book )

2 editions published in 1965 in French and held by 3 WorldCat member libraries worldwide

Formalisation des notions de machine et de programme by Louis Nolin( Book )

1 edition published in 1969 in French and held by 3 WorldCat member libraries worldwide

Le Logiciel d'un ordinateur. Travaux dirigés d'informatique générale : généralités, langages d'assemblage, les assembleurs by Jean Claude Bassano( Book )

1 edition published in 1974 in French and held by 2 WorldCat member libraries worldwide

[Compte rendu du] ... [organisé par l'Institut de programmation de Paris] Paris, 9-11 Avril 1974. Résumé des communications by Colloque sur la Programmation( Book )

in French and held by 2 WorldCat member libraries worldwide

Communications de la journée Algol 68 by Michel A Melkanoff( Book )

1 edition published in 1973 in French and held by 2 WorldCat member libraries worldwide

Colloque sur la programmation : résumés des communications by Colloque sur la programmation( Book )

1 edition published in 1974 in Multiple languages and held by 2 WorldCat member libraries worldwide

Éléments de la recherche opérationnelle by Robert Faure( Book )

1 edition published in 1968 in French and held by 1 WorldCat member library worldwide

L'implantation le developpement et les applications du langage PASCAL by Journées sur l'implantation le développement et les applications du langage PASCAL( Book )

1 edition published in 1975 in French and held by 1 WorldCat member library worldwide

Projet SABRE : 1981 by Institut de programmation (Paris)( Book )

1 edition published in 1981 in English and held by 1 WorldCat member library worldwide

The theory and design of a system for printing and communication in Arabic-Urdu-Farsi languages by Syed S Hyder( Book )

1 edition published in 1974 in English and held by 1 WorldCat member library worldwide

Applications geometriques des langages formels by Maurice Gross( Book )

1 edition published in 1994 in French and held by 1 WorldCat member library worldwide

Construction par apprentissage d'un modèle du langage naturel en vue d'une application aux langues de données : rapport intermédiaire contrat SESORI no 73052 by Daniel Coulon( Book )

1 edition published in 1974 in French and held by 1 WorldCat member library worldwide

Publications SABRE : année 1980 by Projet pilote SIRIUS (France)( Book )

1 edition published in 1980 in French and held by 1 WorldCat member library worldwide

Journée sur les problèmes numériques en algèbre linéaire by Journée sur les problèmes numériques en algèbre linéaire( Book )

1 edition published in 1974 in Multiple languages and held by 1 WorldCat member library worldwide

Séminaire de logique mathématique de la Faculté des Sciences de Paris by Institut Blaise Pascal (Paris)( Book )

1 edition published in 1964 in French and held by 1 WorldCat member library worldwide

Séminaire de logique mathématique de la Faculté des sciences de Paris, 1962-1964 by Université de Paris( Book )

1 edition published in 1964 in French and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Organisati ... to 0.00 for Organisati ...)

Alternative Names
Institut de programmation de la Faculté des sciences de Paris

Université de Paris 6 Institut de programmation

Université de Paris. Faculté des sciences. Institut de programmation

Université de Paris Institut de programmation

Université Faculté des Sciences de Paris Institut de Programmation

Université Faculté des Sciences Institut de Programmation

Université Institut de Programmation

Université Paris Institut de Programmation

Université Pierre et Marie Curie

Université Pierre et Marie Curie Paris Institut de programmation

Languages