3 Resultados para Busca Geral
Mostrar Somente
- Recursos Online (2)
Refinado por:
assunto:
Th Eor Emes
Automatic Theorem Proving
Automatic Theorem Proving
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Automated deduction, CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia July 22-27, 2005 : proceedingsInternational Conference on Automated Deduction (20th 2005 Tallinn, Estonia) Robert NieuwenhuisBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica December 2-6 2005LPAR (Conference) Geoff Sutcliffe; A Voronkov (Andre i) 1959Berlin Springer Great Britain 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3835 ) e outros locais(Acessar) |
| 3 |
Material Type: Livro
|
|
Mechanizing mathematical reasoning essays in honor of J org H. Siekmann on the occasion of his 60th birthdayJ org H Siekmann; Dieter Hutter; Werner StephanBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (2)
Refinar Meus Resultados
Assunto
- Logic, Symbolic And Mathematical (2)
- Automatic Theorem Proving–Congresses (2)
- D Emonstration Automatique De Th Eor Emes (2)
- Automatisches Beweisverfahren (2)
- Logique Symbolique Et Math Ematique (2)
- Reasoning (2)
- Programmation Logique (1)
- M Ethode Formelle (1)
- Raisonnement (1)
- Automated deduction (1)
- Formale Methode (1)
- Logic (1)
- Linguagens Formais (Congressos) (1)
- Reval <2005> (1)
- Logic Programming (1)
- Programação Lógica (Congressos) (1)
- Inteligência Artificial (Congressos) (1)
-
Mais opções
Autor/Criador
- Nieuwenhuis, R (1)
- Voronkov, A (1)
- Siekmann, J (1)
- Stephan, W (1)
- LPAR (Conference) (1)
- International Conference on Automated Deduction (1)
- Sutcliffe, G (1)
- Hutter, D (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 