skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Nature - Springer Computer Science eBooks 2015 English International remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Recommender Systems and Linked Open Data
Recommender Systems and Linked Open Data
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Recommender Systems and Linked Open Data

Faber, Wolfgang ; Paschke, Adrian

Reasoning Web. Web Logic Rules, 2015, Vol.9203, p.88-113 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
2
Horn Clause Solvers for Program Verification
Horn Clause Solvers for Program Verification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Horn Clause Solvers for Program Verification

Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram

Fields of Logic and Computation II, 2015, Vol.9300, p.24-51 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
3
Ontology-Mediated Query Answering with Data-Tractable Description Logics
Ontology-Mediated Query Answering with Data-Tractable Description Logics
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Ontology-Mediated Query Answering with Data-Tractable Description Logics

Faber, Wolfgang ; Paschke, Adrian

Reasoning Web. Web Logic Rules, 2015, Vol.9203, p.218-307 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
4
Security and Privacy Issues of Fog Computing: A Survey
Security and Privacy Issues of Fog Computing: A Survey
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Security and Privacy Issues of Fog Computing: A Survey

Xu, Kuai ; Zhu, Haojin

Wireless Algorithms, Systems, and Applications, 2015, Vol.9204, p.685-695 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
5
Deep Metric Learning Using Triplet Network
Deep Metric Learning Using Triplet Network
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Deep Metric Learning Using Triplet Network

Feragen, Aasa ; Pelillo, Marcello ; Loog, Marco

Similarity-Based Pattern Recognition, 2015, Vol.9370, p.84-92 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
6
Optimal Continuous Time Markov Decisions
Optimal Continuous Time Markov Decisions
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Optimal Continuous Time Markov Decisions

Finkbeiner, Bernd ; Pu, Geguang ; Zhang, Lijun

Automated Technology for Verification and Analysis, 2015, Vol.9364, p.166-182 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
7
All About Fuzzy Description Logics and Applications
All About Fuzzy Description Logics and Applications
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

All About Fuzzy Description Logics and Applications

Faber, Wolfgang ; Paschke, Adrian

Reasoning Web. Web Logic Rules, 2015, Vol.9203, p.1-31 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
LegalRuleML: Design Principles and Foundations
LegalRuleML: Design Principles and Foundations
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

LegalRuleML: Design Principles and Foundations

Faber, Wolfgang ; Paschke, Adrian

Reasoning Web. Web Logic Rules, 2015, Vol.9203, p.151-188 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
9
Intuitionistic Epistemology and Modal Logics of Verification
Intuitionistic Epistemology and Modal Logics of Verification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Intuitionistic Epistemology and Modal Logics of Verification

van der Hoek, Wiebe ; Holliday, Wesley H ; Wang, Wen-fang

Logic, Rationality, and Interaction, 2015, Vol.9394, p.295-307 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
10
FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover
FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover

Davis, Martin ; Fehnker, Ansgar ; McIver, Annabelle ; Voronkov, Andrei

Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.88-96 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (3.961)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.