A computational logic / R. S. Boyer and J S. Moore |
Autore | Boyer, Robert S. |
Pubbl/distr/stampa | New York : Academic Press, 1979 |
Descrizione fisica | XIV, 397 p. ; 24 cm |
Disciplina | 519.4 |
Altri autori (Persone) | Moore, J Strother |
Collana | AMC monographs series |
ISBN | 0121229505 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000840700403321 |
Boyer, Robert S. | ||
New York : Academic Press, 1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Computational Logic Handbook / Robert S. Boyer and J. Strother Moore |
Autore | Boyer, Robert S. |
Pubbl/distr/stampa | Boston [etc.] : Academic Press, 1988 |
Disciplina | 510.78 |
Collana | Perspectives in Computing |
Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
ISBN | 0-12-122952-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001109110403321 |
Boyer, Robert S. | ||
Boston [etc.] : Academic Press, 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Computational Model of Metaphor Interpretation / James H. Martin |
Autore | Martin, James H. |
Pubbl/distr/stampa | Boston [etc.] : Academic Press, 1990 |
Disciplina | 510.78 |
Collana | Perspectives in Artificial Intelligence |
Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
ISBN | 12-474730-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001114860403321 |
Martin, James H. | ||
Boston [etc.] : Academic Press, 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A computational model of metaphor interpretation / James H. Martin |
Autore | Martin, James H. |
Pubbl/distr/stampa | New York : Academic Press, c 1990 |
Descrizione fisica | XXIV, 230 p. ; 23 cm |
Disciplina | 006.3 |
Collana | Perspectives in artificial intelligence |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990006780500403321 |
Martin, James H. | ||
New York : Academic Press, c 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Computer-Mapped Flora : a Study of the County of Warwickshire / D.A. Cadbury, J.G. Hawkes and R.C. Readett ; with a section on bryophytes by T. Laflin and contributed chapters by F.W. Shotton, H. Thorpe and G.T. Warwick |
Autore | Cadbury, D. A. |
Pubbl/distr/stampa | London : Academic Press, 1971 |
Descrizione fisica | ix, 768 p. : ill. ; 30 cm |
Soggetto non controllato | Fitogeografia |
ISBN | 0-12-333360-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001453750403321 |
Cadbury, D. A. | ||
London : Academic Press, 1971 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A course in ordinary and partial differential equations / By Zalman Rubinstein |
Autore | Rubinstein, Zalman |
Pubbl/distr/stampa | New York : Academic Press, copyr. 1969 |
Descrizione fisica | X,477 p., 24 cm |
Disciplina | 515 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000267720403321 |
Rubinstein, Zalman | ||
New York : Academic Press, copyr. 1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A course in probability theory / Kai Lai Chung |
Autore | Chung, Kai Lai |
Edizione | [2. ed.] |
Pubbl/distr/stampa | New York [etc.] : Academic Press, 1974 |
Descrizione fisica | vii, 365 p. ; 24 cm |
Disciplina |
519
519.2 |
Collana | Probability and mathematical statistics, Series of monographs and textbooks |
Soggetto non controllato |
Probabilità - Teoria generale
Statistica Probabilità - Teoria |
ISBN | 0-12-174650-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990002539480403321 |
Chung, Kai Lai | ||
New York [etc.] : Academic Press, 1974 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Course in Statistical Thermodynamics / Joseph Kestin, J. R. Dorfman |
Autore | Kestin, Joseph |
Pubbl/distr/stampa | New York : Academic Press, 1971 |
Disciplina | 530.13 |
Soggetto non controllato | Meccanica statistica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001122600403321 |
Kestin, Joseph | ||
New York : Academic Press, 1971 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A Discrete-Time Approach for System Analysis / M. Cuenod and Allen Durling |
Autore | Cuenod, Michel |
Pubbl/distr/stampa | New York : Academic Press, 1969 |
Descrizione fisica | XII,221 p., ill., 24 cm |
Disciplina | 629 |
Collana | Electrical science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000268690403321 |
Cuenod, Michel | ||
New York : Academic Press, 1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
A first course in rational continuum mechanics / Clifford Ambrose Truesdell |
Autore | Truesdell, Clifford |
Pubbl/distr/stampa | New York : Academic Press, 1977- |
Descrizione fisica | v. ; 23 cm |
Disciplina | 660 |
Collana | Pure and applied mathematics |
Soggetto non controllato |
Meccanica
Dinamica Vibrazioni |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1.: General concepts |
Record Nr. | UNINA-990000321730403321 |
Truesdell, Clifford | ||
New York : Academic Press, 1977- | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|