skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Nature - Springer Journals All 2022 remover tipo de recurso: magazinearticle remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A SAT Solver for Circuits Based on the Tableau Method
A SAT Solver for Circuits Based on the Tableau Method
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

A SAT Solver for Circuits Based on the Tableau Method

Egly, Uwe ; Haller, Leopold

KI. Künstliche Intelligenz (Oldenbourg), 2010-04, Vol.24 (1), p.15-23

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
2
Special Issue on Automated Deduction
Special Issue on Automated Deduction
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Special Issue on Automated Deduction

Giesl, Jürgen

KI. Künstliche Intelligenz (Oldenbourg), 2010-04, Vol.24 (1), p.7-9

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
3
Logic-Based Question Answering
Logic-Based Question Answering
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Logic-Based Question Answering

Furbach, Ulrich ; Glöckner, Ingo ; Helbig, Hermann ; Pelzer, Björn

KI. Künstliche Intelligenz (Oldenbourg), 2010-04, Vol.24 (1), p.51-55

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
4
Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems
Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Differential Dynamic Logics: Automated Theorem Proving for Hybrid Systems

Platzer, André

KI. Künstliche Intelligenz (Oldenbourg), 2010-04, Vol.24 (1), p.75-77

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
5
Small is Again Beautiful in Description Logics
Small is Again Beautiful in Description Logics
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Small is Again Beautiful in Description Logics

Baader, Franz ; Lutz, Carsten ; Turhan, Anni-Yasmin

KI. Künstliche Intelligenz (Oldenbourg), 2010-04, Vol.24 (1), p.25-33

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
6
Deductive Verification of System Software in the Verisoft XT Project
Deductive Verification of System Software in the Verisoft XT Project
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Deductive Verification of System Software in the Verisoft XT Project

Beckert, Bernhard ; Moskal, Michał

KI. Künstliche Intelligenz (Oldenbourg), 2010-04, Vol.24 (1), p.57-61

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
7
Current Trends in Automated Deduction
Current Trends in Automated Deduction
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Current Trends in Automated Deduction

Giesl, Jürgen

KI. Künstliche Intelligenz (Oldenbourg), 2010-04, Vol.24 (1), p.11-13

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
8
Learning and Recognizing Structures in Façade Scenes (eTRIMS)—A Retrospective
Learning and Recognizing Structures in Façade Scenes (eTRIMS)—A Retrospective
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Learning and Recognizing Structures in Façade Scenes (eTRIMS)—A Retrospective

Hotz, Lothar ; Neumann, Bernd

KI. Künstliche Intelligenz (Oldenbourg), 2010-04, Vol.24 (1), p.63-68

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
9
Instance Based Methods—A Brief Overview
Instance Based Methods—A Brief Overview
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Instance Based Methods—A Brief Overview

Baumgartner, Peter ; Thorstensen, Evgenij

KI. Künstliche Intelligenz (Oldenbourg), 2010-04, Vol.24 (1), p.35-42

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
10
Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving
Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving

Schneider-Kamp, Peter

KI. Künstliche Intelligenz (Oldenbourg), 2010-04, Vol.24 (1), p.79-81

Berlin/Heidelberg: Springer-Verlag

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 (1)

Data de Publicação 

De até
Refinar
  1. Antes de2012  (79)
  2. 2012Até2014  (128)
  3. 2015Até2017  (143)
  4. 2018Até2021  (204)
  5. Após 2021  (87)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (638)
  2. Japonês  (11)
  3. Alemão  (2)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.