top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Cylindric Set Algebras : Cylindric set algebras and related structures / By L. Henkin, J. D. Monk, and A. Tarski . On cylindric-relativized set algebras / By H. Andreka and I. Nemeti
Cylindric Set Algebras : Cylindric set algebras and related structures / By L. Henkin, J. D. Monk, and A. Tarski . On cylindric-relativized set algebras / By H. Andreka and I. Nemeti
Pubbl/distr/stampa Berlin, : Springer, 1981
Descrizione fisica vi, 323 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020]
03C55 - Set-theoretic model theory [MSC 2020]
Soggetto non controllato Algebra
Cylindrical Algebra
Set
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0261800
Berlin, : Springer, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Cylindric Set Algebras : Cylindric set algebras and related structures / By L. Henkin, J. D. Monk, and A. Tarski . On cylindric-relativized set algebras / By H. Andreka and I. Nemeti
Cylindric Set Algebras : Cylindric set algebras and related structures / By L. Henkin, J. D. Monk, and A. Tarski . On cylindric-relativized set algebras / By H. Andreka and I. Nemeti
Pubbl/distr/stampa Berlin, : Springer, 1981
Descrizione fisica vi, 323 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03C55 - Set-theoretic model theory [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020]
Soggetto non controllato Algebra
Cylindrical Algebra
Set
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00261800
Berlin, : Springer, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Markov Processes : Structure and Asymptotic Behavior / Murray Rosenblatt
Markov Processes : Structure and Asymptotic Behavior / Murray Rosenblatt
Autore Rosenblatt, Murray
Pubbl/distr/stampa Berlin, : Springer, 1971
Descrizione fisica xiii, 268 p. : ill. ; 24 cm
Soggetto topico 60Jxx - Markov processes [MSC 2020]
Soggetto non controllato Behavior
Forms
Markov Processes
Measures
Natural
Presentation
Probability
Probability Theory
Random variables
Set
Time
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0255336
Rosenblatt, Murray  
Berlin, : Springer, 1971
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Markov Processes : Structure and Asymptotic Behavior / Murray Rosenblatt
Markov Processes : Structure and Asymptotic Behavior / Murray Rosenblatt
Autore Rosenblatt, Murray
Pubbl/distr/stampa Berlin, : Springer, 1971
Descrizione fisica xiii, 268 p. : ill. ; 24 cm
Soggetto topico 60Jxx - Markov processes [MSC 2020]
Soggetto non controllato Behavior
Forms
Markov Processes
Measures
Natural
Presentation
Probability
Probability Theory
Random variables
Set
Time
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00255336
Rosenblatt, Murray  
Berlin, : Springer, 1971
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Riemannian Foliations / Pierre Molino ; Translated by Grant Cairns ; With Appendices by G. Cairns, ... [et al.]
Riemannian Foliations / Pierre Molino ; Translated by Grant Cairns ; With Appendices by G. Cairns, ... [et al.]
Autore Molino, Pierre
Pubbl/distr/stampa Boston, : Birkhäuser, 1988
Descrizione fisica xii, 344 p. : ill. ; 24 cm
Soggetto topico 53-XX - Differential geometry [MSC 2020]
57R30 - Foliations in differential topology; geometric theory [MSC 2020]
53C12 - Foliations (differential geometric aspects) [MSC 2020]
Soggetto non controllato Differential equations
Division
Equations
Fields
Finite
Foliation
Forms
Global analysis
Isometrie
Manifolds
Ordinary differential equations
Partition
Riemannian geometry
Set
Vector fields
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0254173
Molino, Pierre  
Boston, : Birkhäuser, 1988
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Riemannian Foliations / Pierre Molino ; Translated by Grant Cairns ; With Appendices by G. Cairns, ... [et al.]
Riemannian Foliations / Pierre Molino ; Translated by Grant Cairns ; With Appendices by G. Cairns, ... [et al.]
Autore Molino, Pierre
Pubbl/distr/stampa Boston, : Birkhäuser, 1988
Descrizione fisica xii, 344 p. : ill. ; 24 cm
Soggetto topico 53-XX - Differential geometry [MSC 2020]
53C12 - Foliations (differential geometric aspects) [MSC 2020]
57R30 - Foliations in differential topology; geometric theory [MSC 2020]
Soggetto non controllato Differential equations
Division
Equations
Fields
Finite
Foliation
Forms
Global analysis
Isometrie
Manifolds
Ordinary differential equations
Partition
Riemannian geometry
Set
Vector fields
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00254173
Molino, Pierre  
Boston, : Birkhäuser, 1988
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Seminar on Periodic Maps / P. E. Conner
Seminar on Periodic Maps / P. E. Conner
Autore Conner, Pierre E.
Pubbl/distr/stampa Berlin, : Springer, 1967
Descrizione fisica vi, 122 p. : ill. ; 24 cm
Soggetto topico 55-XX - Algebraic topology [MSC 2020]
Soggetto non controllato Bordism
Construction
Forms
Invariants
Maps
Presentation
Riemann surfaces
Set
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0254604
Conner, Pierre E.  
Berlin, : Springer, 1967
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Seminar on Periodic Maps / P. E. Conner
Seminar on Periodic Maps / P. E. Conner
Autore Conner, Pierre E.
Pubbl/distr/stampa Berlin, : Springer, 1967
Descrizione fisica vi, 122 p. : ill. ; 24 cm
Soggetto topico 55-XX - Algebraic topology [MSC 2020]
Soggetto non controllato Bordism
Construction
Forms
Invariants
Maps
Presentation
Riemann surfaces
Set
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00254604
Conner, Pierre E.  
Berlin, : Springer, 1967
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The structure of decidable locally finite varieties / Ralph McKenzie, Matthew Valeriote
The structure of decidable locally finite varieties / Ralph McKenzie, Matthew Valeriote
Autore McKenzie, Ralph
Pubbl/distr/stampa Boston, : Birkhäuser, 1989
Descrizione fisica VIII, 212 p. ; 24 cm
Altri autori (Persone) Valeriote, Matthew
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
03B25 - Decidability of theories and sets of sentences [MSC 2020]
03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020]
Soggetto non controllato Abelian groups
Algebra
Algorithms
Boolean algebra
Boundary Element Methods
Decidability
Functions
Geometry
Language
Mathematica
Set
System
Theorem
eXist
ISBN 978-08-17-63439-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0053731
McKenzie, Ralph  
Boston, : Birkhäuser, 1989
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The structure of decidable locally finite varieties / Ralph McKenzie, Matthew Valeriote
The structure of decidable locally finite varieties / Ralph McKenzie, Matthew Valeriote
Autore McKenzie, Ralph
Pubbl/distr/stampa Boston, : Birkhäuser, 1989
Descrizione fisica viii, 212 p. ; 24 cm
Altri autori (Persone) Valeriote, Matthew
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
08-XX - General algebraic systems [MSC 2020]
03C05 - Equational classes, universal algebra in model theory [MSC 2020]
08A05 - Structure theory of algebraic structures [MSC 2020]
03B25 - Decidability of theories and sets of sentences [MSC 2020]
03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020]
08B25 - Products, amalgamated products, and other kinds of limits and colimits [MSC 2020]
Soggetto non controllato Abelian groups
Algebra
Algorithms
Boolean algebra
Boundary Element Methods
Decidability
Functions
Geometry
Language
Mathematica
Set
System
Theorem
eXist
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0254237
McKenzie, Ralph  
Boston, : Birkhäuser, 1989
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui