Resultados de 1 a 10 de 2.260 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 (1.331)
- Revistas revisadas por pares (1.850)
- Disponível na Biblioteca (10)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Metamathematics of Fuzzy LogicHájek Petr HájekSpringer Netherlands 1998Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
Gödel '96: logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacyPetr HájekCambridge Cambridge University Press 2016Acesso online |
| 3 |
Material Type: Livro
|
|
Biorthogonal Systems in Banach SpacesPetr Hájek Petr Hajek; Vicente Montesinos Santalucía; Jon Vanderwerff; Václav Zizler; Vicente Montesinos SantaluciaSpringer New York 2008Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Livro
|
|
Displaying Modal LogicWansing Petr Hájek; David MakinsonSpringer Netherlands 1998Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
Functional Analysis and Infinite-Dimensional GeometryFabian Petr Habala; Petr Hajek; Vicente Montesinos Santalucia; Jan Pelant; Vaclav ZizlerSpringer New York 2001Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
|
| 7 |
Material Type: Livro
|
|
Cut Elimination in CategoriesDošen Petr Hájek; David MakinsonSpringer Netherlands 1999Acesso online |
| 8 |
Material Type: Livro
|
|
The theory of semisetsPetr Vopæenka Petr HájekAmsterdam North-Holland Publishing Company 1972Localização: IME - Inst. Matemática e Estatística (QA12.3 V952t )(Acessar) |
| 9 |
Material Type: Livro
|
|
Logic, Language and ReasoningPetr Makinson, David Hájek Petr Hájek; David Makinson; U ReyleSpringer Netherlands 1999Acesso online |
| 10 |
Material Type: Livro
|
|
Logic, Action and CognitionPetr Makinson, David Hájek Petr Hájek; Sten Lindström; David MakinsonSpringer Netherlands 1997Acesso online |
Resultados de 1 a 10 de 2.260 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 (1.331)
- Revistas revisadas por pares (1.850)
- Disponível na Biblioteca (10)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (1.399)
- Anais de Congresso (716)
- Book Chapters (61)
- Livros (32)
- Resenhas (18)
- Reports (15)
- Recursos Textuais (5)
- magazinearticle (4)
- Web Resources (4)
- Dissertações (3)
- Conjunto de Dados (2)
- Archival Material / Manuscripts (1)
-
Mais opções
Assunto
- Science & Technology (1.103)
- Social Sciences (564)
- Humans (473)
- Life Sciences & Biomedicine (441)
- Science & Technology - Other Topics (348)
- Social Sciences - Other Topics (345)
- Business (338)
- Business & Economics (332)
- Multidisciplinary Sciences (326)
- Social Sciences, Interdisciplinary (322)
- Female (282)
- Technology (263)
- Male (244)
- Public Administration (205)
- Regional & Urban Planning (202)
- Adult (199)
- Engineering (178)
- Middle Aged (170)
- Biological And Medical Sciences (164)
- Economics (156)
- Fuzzy Logic (22)
- Functional Analysis (14)
- Banach Spaces (12)
- Differential Equations (4)
- Banach Spaces (3)
- Análise Funcional (3)
- Espaços De Banach (3)
- Lógica Matemática (2)
- Florestamento (1)
- Differential Equations (1)
- Lógica Modal (1)
- Functional Analysis (1)
- Florestas (1)
- Análise Funcional (1)
- Gödel, Kurt (1)
- Obstetrícia (1)
- Sistemas Dinâmicos (1)
- Teoria Da Demonstração (Congressos) (1)
- Modalidad (Lógica) (1)
- Demostración, Teoría De La (1)
- Árvores Florestais (1)
- Metamatemática (1)
- Espaços De Banach (1)
- Brunn <1996> (1)
- Lógica Matemática (Congressos) (1)
- Fuzzy Logic (1)
-
Mais opções
Autor/Criador
- Hájek, P (14)
- Makinson, D (5)
- Zizler, V (4)
- Hajek, P (4)
- Fabian, M (3)
- Habala, P (3)
- Montesinos Santalucia, V (3)
- Wiedermann, J (2)
- Hájek (1)
- Symposium on Mathematical Foundations of Computer Science (1972- ) (1)
- Myadahira, S (1)
- Symposium on Mathematical Foundations of Computer Science (1)
- Vopenka, P (1)
- Dhiedt, E (1)
- Lombaerde, E (1)
- Silberstein, M (1)
- Francisco R. P. V (1)
- Machamer, P (1)
- K. Sen (1)
- Jaroslav Hajek (1)
-
Mais opções
Data de Publicação
- Antes de1971 (52)
- 1971Até1983 (119)
- 1984Até1996 (308)
- 1997Até2010 (496)
- Após 2010 (1.283)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- ROAD: Directory of Open Access Scholarly Resources (701)
- EZB Free E-Journals (673)
- Science Citation Index Expanded (Web of Science) (550)
- Journals@Ovid Full Text (346)
- EBSCO_MEDLINE Complete（医学期刊全文数据库） (342)
- ScienceDirect (Online service) (330)
- DOAJ Directory of Open Access Journals (301)
- IngentaConnect Journals (264)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (257)
- NUS Single-Journal Subscriptions (214)
- Academic Search Premier (EB_SDU_P3) (181)
- Wiley Online Library (181)
- Materials Research Database (161)
- METADEX (150)
- Engineered Materials Abstracts (144)
- ClinicalKey (141)
- EDP Sciences (137)
- PubMed Central (134)
- SpringerLink (Online service) (132)
- Gale Academic OneFile Select (107)
-
Mais opções
Idioma
Nome da Publicação
- Rozhledy V Chirurgii (33)
- Value In Health (31)
- Vnitřní Lékar̆stvĭ (28)
- Leukemia (23)
- Folia Microbiologica (23)
- Chemischer Informationsdienst (21)
- Röfo : Fortschritte Auf Dem Gebiet Der Röntgenstrahlen Und Der Bildgebende Verfahren (20)
- Klinická Onkologie (20)
- Blood (18)
- Ceskoslovenska Psychologie (17)
- Current Forestry Reports (1)
- Current Forestry Reports (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 