skip to main content
Idioma:
Refinado por: assunto: Inteligência Artificial remover autor: International Conference on Automated Deduction remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, proceedings

International Conference on Automated Deduction (7th 1984 Napa, Calif.) Robert Shostak 1931-

New York, N.Y. Springer-Verlag c1984

Localização: EPBC - Esc. Politécnica-Bib Central    (004.8 In8d 7. ) e outros locais(Acessar)

2
Automated deduction, CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
Automated deduction, CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction, CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings

International Conference on Automated Deduction (14th 1997 Townsville, Qld.) W McCune (William)

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1249 ) e outros locais(Acessar)

3
Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings

International Conference on Automated Deduction (11th 1992 Saratoga Springs, N.Y.) Deepak Kapur

Berlin Springer-Verlag New York c1992

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.607 ) e outros locais(Acessar)

4
Proceedings 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
Proceedings 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990

International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany) M. E Stickel 1947- (Mark E.)

Berlin Springer-Verlag New York c1990

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.449 ) e outros locais(Acessar)

5
Automated deduction--CADE 16 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
Automated deduction--CADE 16 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction--CADE 16 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

International Conference on Automated Deduction (16th 1999 Trento, Italy) H Ganzinger 1950- (Harald)

Berlin Springer-Verlag New York 1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1632 ) e outros locais(Acessar)

6
Automated deduction--CADE-17 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
Automated deduction--CADE-17 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction--CADE-17 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

International Conference on Automated Deduction (17th 2000 Pittsburgh, Pa.) David A McAllester

Berlin Springer New York c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1831 ) e outros locais(Acessar)

7
Automated deduction, CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Automated deduction, CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction, CADE-19 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

International Conference on Automated Deduction (19th 2003 Miami Beach, Fla.) Franz Baader

Berlin Springer New York 2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2741 )(Acessar)

8
9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedings
9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988 : proceedings

International Conference on Automated Deduction (9th 1988 Argonne, Ill.) Ewing Lusk; Ross A Overbeek

Berlin Springer-Verlag New York c1988

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.310 ex.1 ) e outros locais(Acessar)

9
8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedings
8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

8th International Conference on Automated Deduction Oxford, England, July 27-August 1, 1986 : proceedings

International Conference on Automated Deduction (8th 1986 Oxford, England) Jörg H Siekmann

Berlin Springer-Verlag New York c1986

Localização: EPBC - Esc. Politécnica-Bib Central    (004.8 In8d 8. ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.