Biblioteca Dr. Antonio Monteiro · Catálogo | |
LDR | ·····cam##22·····5##4500 |
001 | 001973 |
005 | 20160526164519.0 |
008 | 780315s1971####rm#f#####b####000#0#fre#d |
245 | 00 | $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 | 00 | $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# |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com