A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll |
Autore | Arbib, Michael A. <1940- > |
Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1981 |
Descrizione fisica | VIII, 220 p. ; 25 cm |
Altri autori (Persone) |
Moll, Robert N.
Kfoury, A. J. |
Collana | Texts and monographs in computer science |
Soggetto non controllato | Computer science - Manuali |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001124570403321 |
Arbib, Michael A. <1940- > | ||
New York [etc.] : Springer-Verlag, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic theory of machines, languages, and semigroups / edited by Michael A. Arbib ; with a Major Contribution by Kenneth Krohn and John L. Rhodes |
Autore | Arbib, Michael A. <1940- > |
Pubbl/distr/stampa | New York ; London : Academic Press, 1968 |
Descrizione fisica | xvi, 359 p. ; 24 cm |
Disciplina |
510.78
512.2 |
Soggetto non controllato |
Cibernetica
Semigruppi Teoria dei giochi Teoria degli automi Intelligenza artificiale |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000954140403321 |
Arbib, Michael A. <1940- > | ||
New York ; London : Academic Press, 1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Arrows, structures, and functors : the categorical imperative / by Arbib and Manes |
Autore | Arbib, Michael A. <1940- > |
Pubbl/distr/stampa | New York [etc.] : Academic Press, 1975 |
Disciplina | 512.55 |
Altri autori (Persone) | Manes, Ernest G. |
Collana | Academic press rapid manuscript reproduction |
Soggetto non controllato | Teoria della categoria |
ISBN | 0-12-059060-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001124600403321 |
Arbib, Michael A. <1940- > | ||
New York [etc.] : Academic Press, 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Brains, machines, and mathematics / Michael A. Arbib |
Autore | Arbib, Michael A. <1940- > |
Pubbl/distr/stampa | New York [etc.] : McGraw-Hill, c1964 |
Descrizione fisica | xiv, 152 p. : ill. ; 21 cm |
Disciplina | 510.78 |
Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000954150403321 |
Arbib, Michael A. <1940- > | ||
New York [etc.] : McGraw-Hill, c1964 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Discrete Mathematics : applied algebra for computer and information science / (by) Leonard S. Bobrow, Michael A. Arbib |
Autore | Bobrow, Leonard S. |
Pubbl/distr/stampa | Philadelphia : W.B. Saunders Co., 1974 |
Descrizione fisica | XIII,719 p., ill., 24 cm |
Disciplina | 516 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000268310403321 |
Bobrow, Leonard S. | ||
Philadelphia : W.B. Saunders Co., 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Dynamic Interactions in Neural Networks : Models and Data / Michael A. Arbib and Shun-ichi Amari Editors |
Autore | Arbib, Michael A. <1940- > |
Pubbl/distr/stampa | New York : Springer-Verlag, 1989 |
Disciplina | 510.78 |
Collana | Research Notes in Neural Computing |
Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
ISBN | 0-387-96893-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001099530403321 |
Arbib, Michael A. <1940- > | ||
New York : Springer-Verlag, 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundation of system theory : Finitary and infinitary conditions / di Anderson |
Autore | Anderson, B.D.O. |
Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1976 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001125600403321 |
Anderson, B.D.O. | ||
Berlin [etc.] : Springer-Verlag, 1976 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
La costruzione della realtà / Michael A. Arbib, Mary B. Hesse ; traduzione di Giorgio Casari |
Autore | Arbib, Michael A. <1940- > |
Pubbl/distr/stampa | Bologna : il Mulino, c1992 |
Descrizione fisica | 419 p. : fig. ; 21 cm |
Disciplina | 121306.42001.01 |
Collana | Le occasioni |
Soggetto non controllato |
Gnoseologia
CONOSCENZA - Aspetti sociali CONOSCENZA - Teoria |
ISBN | 88-15-03356-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990003784990403321 |
Arbib, Michael A. <1940- > | ||
Bologna : il Mulino, c1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
La Mente, le macchine e la matematica / Michael A. Arbib ; prefazione di Edoardo Caianiello |
Autore | Arbib, Michael A. <1940- > |
Pubbl/distr/stampa | Torino : Boringhieri, c1968 |
Descrizione fisica | 164 p. : ill. ; 23 cm |
Disciplina | 510.78 |
Collana | Serie di cibernetica |
Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000954160403321 |
Arbib, Michael A. <1940- > | ||
Torino : Boringhieri, c1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Design of Well-Structured and Correct Programs / Suad Alagic, Michael A. Arbib |
Autore | Alagic, Suad |
Pubbl/distr/stampa | New York : Springer-Verlag, 1978 |
Disciplina | 510.78 |
Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
ISBN | 0-387-90299-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000952420403321 |
Alagic, Suad | ||
New York : Springer-Verlag, 1978 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|