Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
L'algèbre de Boole et son utilisation / par H. G. Flegg ; trad. par Camille Duby
| L'algèbre de Boole et son utilisation / par H. G. Flegg ; trad. par Camille Duby |
| Autore | Flegg, H. G. |
| Pubbl/distr/stampa | Paris : Dunod, 1967 |
| Descrizione fisica | XIII, 245 p. ; 25 cm |
| Disciplina |
511.324
512 |
| Soggetto non controllato | Algebra |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990000842300403321 |
Flegg, H. G.
|
||
| Paris : Dunod, 1967 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
L'algèbre de la logique / Louis Couturat
| L'algèbre de la logique / Louis Couturat |
| Autore | Couturat, Louis |
| Edizione | [2.e éd.] |
| Pubbl/distr/stampa | Paris : Blanchard, 1980 |
| Descrizione fisica | 100 p. ; 16 cm |
| Disciplina | 511.324 |
| Soggetto non controllato | Logica algebrica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000019012 |
|
Couturat, Louis
|
||
| Paris : Blanchard, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Lectures on boolean algebras /Paul R. Halmos
| Lectures on boolean algebras /Paul R. Halmos |
| Autore | HALMOS, Paul R. |
| Pubbl/distr/stampa | London : Van Nostrand Reinhold Company, 1972 |
| Descrizione fisica | 147 p. ; 20 cm. |
| Disciplina | 511.324(algebra degl'insiemi (algebra booleana)) |
| Soggetto topico | Algebra lineare |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990005449300203316 |
|
HALMOS, Paul R.
|
||
| London : Van Nostrand Reinhold Company, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic and algebra / edited by Aldo Ursini, Paolo Aglianò
| Logic and algebra / edited by Aldo Ursini, Paolo Aglianò |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, c1996 |
| Descrizione fisica | xv, 702 p. ; 26 cm |
| Disciplina | 511.324 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto non controllato | Logica algebrica - Congressi |
| ISBN | 0-8247-9606-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001275050403321 |
| New York [etc.] : Marcel Dekker, c1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and algebra : [papers based on The International Conference on Logic and Algebra, held in Pontignano (Siena), April 26-30, 1994, in honor of the late Italian mathematician, Roberto Magari] / edited by Aldo Ursini, Paolo Aglianò
| Logic and algebra : [papers based on The International Conference on Logic and Algebra, held in Pontignano (Siena), April 26-30, 1994, in honor of the late Italian mathematician, Roberto Magari] / edited by Aldo Ursini, Paolo Aglianò |
| Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, c1996 |
| Descrizione fisica | XV, 702 p. ; 26 cm. |
| Disciplina | 511.324 |
| Collana | Lecture notes in pure and applied mathematics |
| Soggetto topico | Logica matematica - Congressi |
| ISBN | 0-8247-9606-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000015846 |
| New York [etc.] : Marcel Dekker, c1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Logic and its applications / Andreas Blass, Yi Zhang, editors
| Logic and its applications / Andreas Blass, Yi Zhang, editors |
| Autore | International Conference on Logic and Its Applications in Algebra and Geometry <2003 ; University of Michigan> |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2005 |
| Descrizione fisica | vi, 306 p. ; 26 cm |
| Disciplina | 511.324 |
| Altri autori (Persone) |
Blass, Andreasauthor
Zhang, Yiauthor |
| Altri autori (Convegni) | Workshop on Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture <2003 ; University of Michigan> |
| Collana | Contemporary mathematics, 0271-4132 ; 380 |
| Soggetto topico |
Algebraic logic - Congresses
Geometry, Algebraic - Congresses |
| ISBN | 0821834746 |
| Classificazione |
AMS 03-06
LC QA10.I578 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001296749707536 |
|
International Conference on Logic and Its Applications in Algebra and Geometry <2003 ; University of Michigan>
|
||
| Providence, R. I. : American Mathematical Society, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic Functions and Equations [[electronic resource] ] : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff
| Logic Functions and Equations [[electronic resource] ] : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff |
| Autore | Steinbach Bernd |
| Edizione | [3rd ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (818 pages) |
| Disciplina | 511.324 |
| Soggetto topico |
Electronic circuits
Logic design Computer science - Mathematics Discrete mathematics Electronic Circuits and Systems Logic Design Discrete Mathematics in Computer Science Àlgebra de Boole Lògica matemàtica Teoria de màquines |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-88945-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. |
| Record Nr. | UNISA-996479368403316 |
|
Steinbach Bernd
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Functions and Equations [[electronic resource] ] : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff
| Logic Functions and Equations [[electronic resource] ] : Fundamentals and Applications using the XBOOLE-Monitor / / by Bernd Steinbach, Christian Posthoff |
| Autore | Steinbach Bernd |
| Edizione | [3rd ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (818 pages) |
| Disciplina | 511.324 |
| Soggetto topico |
Electronic circuits
Logic design Computer science - Mathematics Discrete mathematics Electronic Circuits and Systems Logic Design Discrete Mathematics in Computer Science Àlgebra de Boole Lògica matemàtica Teoria de màquines |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-88945-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 3. Logic Equations -- 4. Boolean Differential Calculus -- 5. Sets, Lattices, and Classes of Logic Functions -- Part II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7. SAT-Problems -- 8. Extremely Complex Problems -- 9. Combinational Circuits -- 10. Sequential Circuits -- References -- Index. |
| Record Nr. | UNINA-9910574861303321 |
|
Steinbach Bernd
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics of variable inclusion / / Stefano Bonzio, Francesco Paoli and Michele Pra Baldi
| Logics of variable inclusion / / Stefano Bonzio, Francesco Paoli and Michele Pra Baldi |
| Autore | Bonzio Stefano |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
| Descrizione fisica | 1 online resource (227 pages) |
| Disciplina | 511.324 |
| Collana | Trends in logic |
| Soggetto topico |
Algebraic logic
Lògica algebraica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-04297-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996479371703316 |
|
Bonzio Stefano
|
||
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics of variable inclusion / / Stefano Bonzio, Francesco Paoli and Michele Pra Baldi
| Logics of variable inclusion / / Stefano Bonzio, Francesco Paoli and Michele Pra Baldi |
| Autore | Bonzio Stefano |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] |
| Descrizione fisica | 1 online resource (227 pages) |
| Disciplina | 511.324 |
| Collana | Trends in logic |
| Soggetto topico |
Algebraic logic
Lògica algebraica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-04297-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910741198403321 |
|
Bonzio Stefano
|
||
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
