Resultados de 1 a 10 de 245 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (239)
- Revistas revisadas por pares (119)
- Disponível na Biblioteca (5)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Non-well-founded setsPeter AczelMenlo Park Csli 1988Localização: IME - Inst. Matemática e Estatística (QA12 A189n )(Acessar) |
| 2 |
Material Type: Livro
|
|
Basic proof theoryAnne Sjerp Troelstra H Schwichtenberg; Helmut Schwichtenberg; A. S Troelstra; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van RijsbergenCambridge University Press 2000Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Process AlgebraJ. C. M. Weijland, W. P. Baeten, J. C. M. Abramsky, S. Aczel, P. H. Baeten J. C. M Baeten; W. P Weijland; S Abramsky; P. H AczelCambridge Cambridge University Press 1990Acesso online |
| 4 |
Material Type: Livro
|
|
Algebraic Specification of Communication ProtocolsC. J. Abramsky, S. Aczel, P. H. Mauw, S. Veltink, G. J. van Rijsbergen S Mauw; G. J Veltink; S Abramsky; P. H Aczel; C. J van RijsbergenCambridge Cambridge University Press 1993Acesso online |
| 5 |
Material Type: Livro
|
|
Hybrid Graph Theory and Network AnalysisLadislav Gibbons, Alan Abramsky, S. Aczel, P. H. Gurevich, Y. Novak Alan Gibbons; Ladislav Novak; S Abramsky; P. H Aczel; Y GurevichCambridge Cambridge University Press 1999Acesso online |
| 6 |
Material Type: Livro
|
|
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990Peter Simmons, Harold Wainer, Stanley S. Aczel Peter Aczel; Harold Simmons; Stanley S WainerCambridge University Press 1993Acesso online |
| 7 |
Material Type: Livro
|
|
Uncertain Reasoner's Companion: A Mathematical PerspectiveJ. B. Paris S Abramsky; P. H Aczel; Y Gurevich; J. V TuckerCambridge Cambridge University Press 1995Acesso online |
| 8 |
Material Type: Livro
|
|
Basic Simple Type TheoryJ. Roger Hindley S Abramsky; P. H Aczel; J. W De Bakker; C. J van RijsbergenCambridge Cambridge University Press 1997Acesso online |
| 9 |
Material Type: Livro
|
|
Updating Logical DatabasesMarianne Winslett S Abramsky; P. H Aczel; Y Gurevich; J. V TuckerCambridge Cambridge University Press 1990Acesso online |
| 10 |
Material Type: Livro
|
|
Situation theory and its applications Vol.3Peter Aczel 1941-; David Israel; Yasuhiro Katagiri; Stanley Peters 1941-; Conference on Situation Theory and Its Applications (3rd : 1991 : Oiso, Japan)Menlo Park, CA CSLI/SRI International c1993Localização: IME - Inst. Matemática e Estatística (QA9.C C748s 3º )(Acessar) |
Resultados de 1 a 10 de 245 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (239)
- Revistas revisadas por pares (119)
- Disponível na Biblioteca (5)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (209)
- Livros (16)
- Anais de Congresso (12)
- Book Chapters (5)
- Resenhas (2)
- Produções Técnicas (1)
-
Mais opções
Assunto
- Science & Technology (49)
- Physics - Strongly Correlated Electrons (32)
- Physical Sciences (28)
- Magnetism (25)
- Neutron Scattering (21)
- Muon Spin Relaxation (20)
- Technology (20)
- Antiferromagnetism (18)
- Physics (18)
- Materials Science (17)
- Magnetic Properties (15)
- Ground State (14)
- Humans (14)
- Neutron Diffraction (14)
- Life Sciences & Biomedicine (13)
- Neutrons (13)
- Materials Science, Multidisciplinary (13)
- Condensed Matter Physics, Superconductivity And Superfluidity (12)
- Physics, Applied (12)
- Inelastic Scattering (12)
- Logic (4)
- Magnetismo (2)
- Ferromagnetismo (2)
- Lógica Matemática (2)
- Teoria Da Demonstração (2)
- Proof Theory (2)
- Teorias Da Psicologia (1)
- Language And Logic (1)
- Teoria Ergódica (1)
- Cooperação Internacional (1)
- Psicologia Baseada Em Evidências (1)
- Proof Theory (1)
- Logic (1)
- Teoria Dos Conjuntos (1)
- Pesquisa Científica (1)
-
Mais opções
Autor/Criador
- Aczel, P (13)
- Abramsky, S (9)
- Gurevich, Y (6)
- Van Rijsbergen, C (5)
- Tucker, J (5)
- Bakker, J (3)
- Simmons, H (2)
- Arevalo-Lopez, A (2)
- Aczel, A (2)
- Gaudet, J (2)
- Tachibana, M (2)
- Hallas, A (2)
- Stone, M (2)
- Wainer, S (2)
- Wilson, M (2)
- Freitas, R (2)
- Aczel, J (2)
- Munsie, T (2)
- Gaulin, B (2)
- Luke, G (2)
-
Mais opções
Data de Publicação
- Antes de1982 (18)
- 1982Até1994 (16)
- 1995Até2004 (18)
- 2005Até2015 (114)
- Após 2015 (80)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- American Physical Society (APS) Journals (56)
- Directory of Open Access Scholarly Resources (ROAD) (45)
- Science Citation Index Expanded (Web of Science) (45)
- EZB Electronic Journals Library (41)
- NUS Single-Journal Subscriptions (40)
- Free E- Journals (35)
- arXiv.org (35)
- PROLA - Physical Review Online Archive (33)
- ScienceDirect Freedom Collection (32)
- MEDLINE Complete (EBSCOhost) (18)
- Academic Search Premier (EB_SDU_P3) (16)
- RCN full-text journals@Ovid (14)
- Nature Journals Online (13)
- Wiley (13)
- Engineered Materials Abstracts (12)
- Materials Research Database (12)
- METADEX (12)
- WILEY-BLACKWELL (11)
- Wiley-Blackwell Full Collection 2013 (11)
- DOAJ Directory of Open Access Journals (10)
-
Mais opções
Idioma
- Inglês (237)
- Japonês (19)
- Alemão (6)
- Francês (3)
-
Mais opções
Nome da Publicação
- arXiv.org (25)
- Physical Review. B (21)
- Physical Review. B, Condensed Matter And Materials Physics (21)
- Atherosclerosis. Supplements (18)
- Physical Review Letters (12)
- Advances In Methods And Practices In Psychological Science (7)
- European Journal Of Clinical Investigation (7)
- Npj Quantum Materials (5)
- Arxiv (4)
- Nature Physics (4)
- PHYSICAL REVIEW B (1)
- Physical Review B (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 