Algèbre de Boole et machines logiques/ Sous la direction de J. Kuntzmann et P. Naslin.
Series: Bibliothèque de l'automaticien ; 23Publication details: Paris: Dunod, 1967 [c1966].Description: xvi, 313 p.: illus., 25 cmSubject(s): DDC classification:- 511.3 A396
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 A396 1967 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000164007 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | |||||
511.3 A193t 1968 IMPA Truth functions and the problem of their realization by two-terminal graphs/ | 511.3 A244 1993 IMPA Advances in computational complexity theory/ | 511.3 A244 1995 IMPA Advances in linear logic/ | 511.3 A396 1967 IMPA Algèbre de Boole et machines logiques/ | 511.3 A496f 1948 IMPA Fundamentals of symbolic logic/ | 511.3 A496l 1961 IMPA Logic: the theory of formal inference/ | 511.3 A532 1996 IMPA Logical reasoning with diagrams/ |
Selected papers of a colloquium held in Grenoble, January 1965.
Includes bibliographies.
There are no comments on this title.