Resultados de 1 a 10 de 12.524 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
- Revistas revisadas por pares (12.036)
- Disponível na Biblioteca (1)
Refinado por:
assunto:
Mathematical Logic And Foundations
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected PapersPacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, JerzyBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
| 2 |
Material Type: Livro
|
|
The road to universal logic festschrift for 50th birthday of Jean-Yves Bziau volume I-IIArnold Koslow; Arthur BuchsbaumCham Birkhäuser 2015Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1–4, 1988 ProceedingsBergman, Clifford H ; Maddux, Roger D ; Pigozzi, Don L Pigozzi, Don L. ; Maddux, Roger D. ; Bergman, Clifford H.New York, NY: Springer New York 1990Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 ProceedingsBörger, Egon ; Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M Jäger, Gerhard ; Kleine Büning, Hans ; Richter, Michael M. ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
| 5 |
Material Type: Livro
|
|
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 ProceedingsBörger, Egon ; Büning, Hans Kleine ; Richter, Michael M Richter, Michael M. ; Büning, Hans Kleine ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected PapersBörger, Egon ; Gurevich, Yuri ; Meinke, Karl Gurevich, Yuri ; Meinke, Karl ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Computer Science Logic: 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected PapersBörger, E ; Jäger, G ; Kleine Büning, H ; Martini, S ; Richter, M. M Richter, M. M. ; Kleine Büning, H. ; Börger, E. ; Martini, S. ; Jäger, G.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected PapersKleine Büning, Hans Kleine Büning, HansBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Computer Science Logic: 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 ProceedingsBörger, Egon ; Kleine Büning, Hans ; Richter, Michael M ; Schönfeld, Wolfgang Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M. ; Schönfeld, WolfgangBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, ProceedingsFlum, Jörg ; Rodriguez-Artalejo, Mario Rodriguez-Artalejo, Mario ; Flum, JörgBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
Resultados de 1 a 10 de 12.524 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
- Revistas revisadas por pares (12.036)
- Disponível na Biblioteca (1)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (11.877)
- Livros (631)
- Anais de Congresso (12)
- Resenhas (4)
-
Mais opções
Assunto
- Science & Technology (11.036)
- Artificial Intelligence (9.941)
- Computer Science (9.787)
- Technology (9.261)
- Computer Science, Artificial Intelligence (9.227)
- Engineering (8.753)
- Robotics (8.700)
- Computational Intelligence (8.687)
- Mechatronics (8.683)
- Control (8.682)
- Computer Science, Interdisciplinary Applications (8.291)
- Algorithms (3.466)
- Methodologies And Application (3.138)
- Mathematics (2.809)
- Optimization (2.648)
- Mathematics And Statistics (2.331)
- Physical Sciences (1.808)
- Focus (1.742)
- Algebra (1.710)
- Logic (1.263)
- Mathematical Logic (836)
- History (38)
- Lógica Matemática (29)
- History Of Mathematical Sciences (26)
- Lógica Simbólica (11)
- História (1)
- Lógica Matemática (1)
- History (1)
- Mathematical logic (1)
- History Of Mathematical Sciences (1)
- Logic (1)
- Lógica Simbólica (1)
-
Mais opções
Autor/Criador
- Buchsbaum, A (1)
- Koslow, A (1)
-
Mais opções
Data de Publicação
- Antes de1986 (19)
- 1986Até1994 (125)
- 1995Até2003 (358)
- 2004Até2013 (2.234)
- Após 2013 (10.080)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLink (11.863)
- Springer Nature - Springer Journals All 2022 (11.371)
- Science Citation Index Expanded (Web of Science) (9.171)
- Journals@Ovid Complete (2.158)
- Springer Nature OA Free Journals (1.168)
- EBSCOhost Computers and Applied Sciences Complete (1.104)
- EBSCOhost Academic Search Premier (1.024)
- EZB Free E-Journals (818)
- Springer Books (622)
- DOAJ Directory of Open Access Journals (502)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (498)
- Taylor & Francis Journals Complete (492)
- Taylor & Francis Current Content Access (492)
- Springer Books Online Archive (463)
- Business Source Complete - EBSCO (397)
- Gale Academic OneFile (319)
- Electronic Library of Mathematics (316)
- SpringerLINK Lecture Notes in Computer Science (283)
- IngentaConnect Journals (264)
- SpringerLink Books Lecture Notes in Computer Science Archive (254)
-
Mais opções
Nome da Publicação
- Soft Computing (8.188)
- Archive For Mathematical Logic (707)
- Applied Categorical Structures (669)
- Journal Of Automated Reasoning (592)
- International Journal Of Computational Intelligence Systems (492)
- Fuzzy Optimization And Decision Making (397)
- Lobachevskii Journal Of Mathematics (314)
- Foundations Of Science (269)
- Studia Logica (190)
- Algebra And Logic (45)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 