Resultados de 1 a 10 de 42 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (29)
- Revistas revisadas por pares (16)
- Disponível na Biblioteca (14)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Automated Deduction – CADE-19International Conference on Automated Deduction Franz BaaderSpringer Berlin Heidelberg 2003Acesso online |
| 2 |
Material Type: Livro
|
|
Automated Deduction—CADE-11International Conference on Automated Deduction Deepak KapurSpringer Berlin Heidelberg 1992Acesso online |
| 3 |
Material Type: Livro
|
|
Automated Deduction — CADE-12International Conference on Automated Deduction Alan BundySpringer Berlin Heidelberg 1994Acesso online |
| 4 |
Material Type: Livro
|
|
Automated Deduction—CADE-14International Conference on Automated Deduction William McCuneSpringer Berlin / Heidelberg 1997Acesso online |
| 5 |
Material Type: Livro
|
|
Automated deduction-CADE-14International Conference on Automated Deduction, CADE-14, 14 1997 Townsville William McCuneCarbonell, G., ed; Siekmann, J., ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-Berlin Springer-Verlag c1997Localização: IFSC - Inst. Física de São Carlos (P001.5 L471 v.1249 )(Acessar) |
| 6 |
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. |
| 7 |
Material Type: Livro
|
|
Automated Deduction — CADE-15International Conference on Automated Deduction Claude Kirchner; Hélène KirchnerSpringer Berlin / Heidelberg 1998Acesso online |
| 8 |
Material Type: Livro
|
|
Automated Deduction — Cade-13International Conference on Automated Deduction Michael A McRobbie; John K SlaneySpringer Berlin Heidelberg 1996Acesso online |
| 9 |
Material Type: Livro
|
|
Automated deduction, CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedingsInternational Conference on Automated Deduction (14th 1997 Townsville, Qld.) W McCune (William)Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1249 ) e outros locais(Acessar) |
| 10 |
Material Type: Livro
|
|
Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedingsInternational Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.) Deepak KapurBerlin Springer-Verlag New York c1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.607 ) e outros locais(Acessar) |
Resultados de 1 a 10 de 42 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr 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
- Recursos Online (29)
- Revistas revisadas por pares (16)
- Disponível na Biblioteca (14)
Refinar Meus Resultados
Assunto
- Automatic Theorem Proving (30)
- Logic, Symbolic And Mathematical (30)
- Congresses (19)
- Computer Science (19)
- Machine Theory (17)
- Mathematical Logic And Formal Languages (16)
- Mathematical Logic (16)
- Automatic Theorem Proving -- Congresses (14)
- Démonstration Automatique (14)
- Artificial Intelligence (14)
- Logic, Symbolic And Mathematical -- Congresses (14)
- Automatisches Beweisverfahren (14)
- Logique Symbolique Et Mathématique (12)
- Théorèmes (12)
- Inteligência Artificial (11)
- Lógica Simbólica Y Matemática (9)
- Kongress (9)
- Formal Languages And Automata Theory (9)
- Mathematical Logic And Foundations (8)
- Déduction Automatique (8)
- Computer Logic (8)
- Lógica Matemática (3)
- Inteligência Artificial (Congressos) (3)
- Linguagem De Programação (1)
- Online-Publikation (1)
- Bremen <2007> (1)
- D Emonstration Automatique De Th Eor Emes (1)
- Automatisches Beweisverfahren ; SWD-ID: 40690349 (1)
- Syst Eme D Eductif (1)
- Teoria Da Computação (1)
- Cade (1)
- Th Eor Emes (1)
- Reval <2005> (1)
- Logique Symbolique Et Math Ematique (1)
- Automated deduction (1)
- Especificação De Sistemas E Programas (1)
- Inteligência Artificial (1)
-
Mais opções
Autor/Criador
- International Conference on Automated Deduction (21)
- Siekmann, J (3)
- McCune, W (3)
- McRobbie, M (2)
- Goos, G (2)
- Kapur, D (2)
- International Conference on Automated Deduction, C (2)
- Ganzinger, H (2)
- Shostak, R (2)
- Baader, F (2)
- Slaney, J (2)
- McAllester, D (2)
- Hartmanis, J (1)
- Overbeek, R (1)
- Van Leeuwen, J (1)
- Pfenning, F (1)
- Bundy, A (1)
- Stickel, M (1)
- Kirchner, H (1)
- Kirchner, C (1)
-
Mais opções
Data de Publicação
- Antes de1986 (6)
- 1986Até1993 (6)
- 1994Até1997 (9)
- 1998Até2003 (14)
- Após 2003 (15)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (19)
- Springer Books (19)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (18)
- SpringerLINK Lecture Notes in Computer Science (2015) (18)
- SpringerLink Books Lecture Notes in Computer Science Archive (16)
- Springer Books Online Archive (16)
- SpringerLINK Lecture Notes in Computer Science (2014) (1)
- SpringerLink Fully Open Access Books (1)
- Springer Nature - Springer Computer Science eBooks 2013 English International (1)
- DOAB: Directory of Open Access Books (1)
- SpringerLINK Lecture Notes in Computer Science (2013) (1)
- OAPEN (1)
- Springer Nature - Springer Computer Science eBooks 2015 English International (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 