Logique, automatique, informatique /
Guardado en:
| Otros Autores: | , |
|---|---|
| Formato: | Libro |
| Idioma: | French |
| Publicado: |
Bucarest :
Éditions de l'Académie de la République Socialiste de Roumanie,
1971.
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| LEADER | 01710cam a22001935 4500 | ||
|---|---|---|---|
| 001 | MAT.inmabb001973 | ||
| 008 | 780315s1971####rm#f#####b####000#0#fre#d | ||
| 005 | 20160526164519.0 | ||
| 245 | 0 | 0 | |a Logique, automatique, informatique / |c O. Bîsca ... [et al. ; sous la direction de Gr. C. Moisil]. |
| 260 | |a Bucarest : |b Éditions de l'Académie de la République Socialiste de Roumanie, |c 1971. | ||
| 300 | |a 456 p. : |b with figs., 10 l. of plates. ; |c 24 cm. | ||
| 504 | |a Incluye bibliografías. | ||
| 505 | 0 | 0 | |t Préface / |r Gr. C. Moisil -- |t Sur la catégorie des théories déductives / |r Virgil Emil Cazanescu -- |t Remarques sur les théories déductives / |r Virgil Emil Cazanescu -- |t La logique élémentaire / |r Gr. C. Moisil -- |t Sur la logique de Heyting / |r Gh. S. Nadiu -- |t Sur les algèbres de Lukasiewicz / |r Vlad Boicescu -- |t Filtres de Stone dans les treillis distributifs / |r Mihail Cherciu -- |t Les algèbres de Lukasiewicz $ theta$-valentes / |r George Georgescu -- |t Algèbres de Morgan injectives / |r Ioana Petrescu -- |t Sur quelques applications des équations booléennes / |r Sergiu Rudeanu -- |t Quelques propriétés des algèbres de Morgan / |r Luminita State -- |t La synthèse des automates finis par la méthode de A. Church / |r Octavian C. Bîsca -- |t Les états transitoires dans les circuits séquentiels / |r Gr. C. Moisil -- |t Méthodes combinatoires dans la théorie des automates finis / |r Ioan Tomescu -- |t Intelligence artificielle : programmation d'un jeu de cartes / |r Corneliu Sicoe et Alexandru Teodorescu. |
| 510 | 4 | |a MR, |c 48 #5811 | |
| 700 | 1 | |a Moisil, Grigore C. |4 edt | |
| 700 | 1 | |a Bîsca, Octavian C. | |
| 084 | |a 03Gxx (03-06 94C10) |2 msc2000 | ||
| 010 | |a 77880254 | ||
| 859 | |h 03 |i L8325 |p A-3593 |b BIB. MATEMATICA | ||