Revue des questions scientifiques, 164. cilt,2. sayı1993 The March and May numbers of v. 97, 1930, combined in one issue, comprise a special series of articles on the Belgian Congo (Le Congo Belge et les sciences) published on the occasion of the centenary of Belgian independence. A separate map (Carte administrative du Congo Belge et de ses voies de communication) accompanies this combined issue, and is designated as "supplément à la Revue des questions scientifiques, mars-mai 1930." |
Kitabın içinden
8 sonuçtan 1-3 arası sonuçlar
Sayfa 152
... logique linéaire : l'expression courante indique bien que l'on suit ou que l'on a perdu ! - le « fil » du discours . Les lignes d'écriture , dont le but premier était de transcrire le lan- gage parlé , en conservent la logique linéaire ...
... logique linéaire : l'expression courante indique bien que l'on suit ou que l'on a perdu ! - le « fil » du discours . Les lignes d'écriture , dont le but premier était de transcrire le lan- gage parlé , en conservent la logique linéaire ...
Sayfa 185
... logique classique , tandis que le second traite de logiques spécifiques et particulières à certaines classes d'applications . Ce volume se compose de quatre parties : I Logique des prédicats . II Pro- grammation logique et Prolog . III ...
... logique classique , tandis que le second traite de logiques spécifiques et particulières à certaines classes d'applications . Ce volume se compose de quatre parties : I Logique des prédicats . II Pro- grammation logique et Prolog . III ...
Sayfa 186
... logique . La troisième partie ( Logique équationnelle et types abstraits ) présente la logi- que équationnelle , les spécifications algébriques ainsi que la réécriture . Le matériel présenté est ici choisi de manière adéquate et reflète ...
... logique . La troisième partie ( Logique équationnelle et types abstraits ) présente la logi- que équationnelle , les spécifications algébriques ainsi que la réécriture . Le matériel présenté est ici choisi de manière adéquate et reflète ...
Diğer baskılar - Tümünü görüntüle
Sık kullanılan terimler ve kelime öbekleri
adiabatique analyse applications informatiques Bertin big bang Broché calorique Cambridge University Press chaleur chapitres Clapeyron Clausius complexité algorithmique concepts corps chaud corps froid cycle de Carnot demi-vie différents documents écrits éléments étoiles facteurs faisceaux d'ions radioactifs fonction galaxies générale globale graphiques techniques introduction ISBN isotherme l'analyse l'approche l'astrophysique nucléaire l'énergie l'hélium l'hydrogène l'information l'œil l'œuvre l'ouvrage l'Univers l'utilisateur Lazare Carnot lecture livre logique de Hoare logique linéaire loi de Coulomb Louvain-la-Neuve machine à vapeur machines à feu mathématiciens mathématique mécanique ment méthodes neutrons Newton notions novae noyau noyaux radioactifs nucléons ouvrage particules perception visuelle phénomènes physiciens physique présentation principe problème processus protons puissance motrice quantique question radioactifs rayons rayons X réactions nucléaires réactions nucléaires exothermiques recherche Réflexions Relié résultats Richaudeau Ronde du CNRS Sadi Carnot sciences scientifique sections efficaces source chaude source froide structures supernovae surface syntaxe visuelle température théorie thermodynamique tion Tufte types utilise variables visuelles volume