skip to main content

Sair
Identificação

Idioma:

Resultados de 1 a 10 de 798 para Busca Geral

Ordenado por: Ordenado por: Mais acessadosOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Recursos Online (723)
Revistas revisadas por pares (333)

Refinado por: assunto: Machine Theory

remover

assunto: Mathematical Logic

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Livro		Inductive Logic Programming: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers Lachiche, Nicolas ; Vrain, Christel Vrain, Christel ; Lachiche, Nicolas Cham: Springer International Publishing 2018 Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
2	Material Type: Livro		Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings Castor, Fernando ; Liu, Yu David Liu, Yu David ; Castor, Fernando Cham: Springer International Publishing AG 2016 Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Livro		Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings Ciucci, Davide ; Pasi, Gabriella ; Vantaggi, Barbara Cham: Springer International Publishing Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
4	Material Type: Livro		Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings Rabe, Florian ; Farmer, William M. ; Youssef, Abdou ; Passmore, Grant O. Cham: Springer International Publishing 2018 Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
5	Material Type: Livro		Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures Cunha, Jácome ; Saraiva, João ; Fernandes, João P. ; Zaytsev, Vadim ; Lämmel, Ralf Cham: Springer International Publishing 2017 Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
6	Material Type: Livro		NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings Kahsai, Temesghen ; Barrett, Clark ; Davies, Misty Cham: Springer International Publishing 2017 Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
7	Material Type: Livro		Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings Ranzato, Francesco Cham: Springer International Publishing 2017 Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
8	Material Type: Livro		Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II Peltier, Nicolas ; Sofronie-Stokkermans, Viorica Cham: Springer International Publishing Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
9	Material Type: Livro		Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I Peltier, Nicolas ; Sofronie-Stokkermans, Viorica Cham: Springer International Publishing Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
10	Material Type: Livro		NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings Rayadurgam, Sanjai ; Tkachuk, Oksana Tkachuk, Oksana ; Rayadurgam, Sanjai ; Tkachuk, Oksana ; Rayadurgam, Sanjai Cham: Springer Nature 2016 Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Resultados de 1 a 10 de 798 para Busca Geral

Ordenado por: Ordenado por: Mais acessadosOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Mostrar Somente

Recursos Online (723)
Revistas revisadas por pares (333)

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento