Resultados de 1 a 10 de 316 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
assunto:
Mathematical Logic And Formal Languages
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Higher-Order Pattern Anti-Unification in Linear TimeBaumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret, MateuJournal of automated reasoning, 2017-02, Vol.58 (2), p.293-310 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
| 2 |
Material Type: Livro
|
|
Subjective Logic: A Formalism for Reasoning under UncertaintyJøsang, AudunCham: Springer International Publishing AG 2016Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected PapersCanal, Carlos ; Idani, Akram Idani, Akram ; Canal, CarlosNetherlands: Springer Nature 2015Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Information Technology in Bio- and Medical Informatics: 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, ProceedingsRenda, M. Elena ; Bursa, Miroslav ; Holzinger, Andreas ; Khuri, Sami Renda, M. Elena ; Khuri, Sami ; Bursa, Miroslav ; Holzinger, AndreasCham: Springer Nature 2015Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, ProceedingsPesant, Gilles Pesant, GillesCham: Springer Nature 2015Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th BirthdayMartí-Oliet, Narciso ; Ölveczky, Peter Csaba ; Talcott, Carolyn Martí-Oliet, Narciso ; Talcott, Carolyn ; Ölveczky, Peter CsabaCham: Springer International Publishing AG 2015Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. ProceedingsCalinescu, Radu ; Rumpe, Bernhard Rumpe, Bernhard ; Calinescu, RaduCham: Springer Nature 2015Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Graph Transformation: 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. ProceedingsParisi-Presicce, Francesco ; Westfechtel, Bernhard Parisi-Presicce, Francesco ; Westfechtel, BernhardNetherlands: Springer Nature 2015Texto completo disponível |
| 9 |
Material Type: Livro
|
|
Combinatorics on Words: 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, ProceedingsManea, Florin ; Nowotka, Dirk Manea, Florin ; Nowotka, DirkCham: Springer Nature 2015Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Implementation and Application of Automata: 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, ProceedingsDrewes, FrankCham: Springer International Publishing AG 2015Texto completo disponível |
Resultados de 1 a 10 de 316 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr 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
Assunto
- Computer Science (314)
- Mathematical Logic (278)
- Machine Theory (259)
- Artificial Intelligence (212)
- Congresses (202)
- Logic, Symbolic And Mathematical (182)
- Logic Design (164)
- Logics And Meanings Of Programs (163)
- Mathematics (154)
- Computer Logic (151)
- Computers (139)
- Kongress (137)
- Logica (121)
- Logic (118)
- Symbolic Logic (111)
- Algebra Of Logic (111)
- Logic, Universal (111)
- Symbolic And Mathematical Logic (111)
- Computer Programming (98)
-
Mais opções
Data de Publicação
- Antes de1990 (19)
- 1990Até1996 (42)
- 1997Até2003 (124)
- 2004Até2011 (128)
- Após 2011 (125)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (308)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (258)
- SpringerLINK Lecture Notes in Computer Science (2015) (232)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (228)
- Springer Books Online Archive (181)
- SpringerLink Books Lecture Notes in Computer Science Archive (170)
- SpringerLINK Lecture Notes in Computer Science (2014) (39)
- Springer Nature - Springer Computer Science eBooks 2013 English International (33)
- SpringerLINK Lecture Notes in Computer Science (2013) (28)
- Springer Nature - Springer Computer Science eBooks 2012 English International (26)
- SpringerLINK Lecture Notes in Computer Science (2012) (23)
- Springer Nature - Springer Computer Science eBooks 2015 English International (21)
- Springer Nature - Springer Computer Science eBooks 2014 English International (20)
- IngentaConnect Journals (6)
- Gale eBooks (5)
- Springer Nature - Springer Mathematics and Statistics eBooks 2007 English International (4)
- Springer Nature - Springer Mathematics and Statistics eBooks 2014 English International (3)
- Springer Nature - Springer Journals All 2022 (3)
- Springer Nature - Springer Computer Science eBooks 2011 English International (3)
- Science Citation Index Expanded (Web of Science) (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 