skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: assunto: Automatic Theorem Proving remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA September 14-17, 2004 ; proceedings
Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA September 14-17, 2004 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA September 14-17, 2004 ; proceedings

TPHOLs 2004 (2004 Utah, USA) Konrad Slind; Annette Bunker; Ganesh Gopalakrishnan

Berlin Springer 2004

Acesso online. A biblioteca também possui exemplares impressos.

2
Artificial intelligence and symbolic computation 7th International conference, AISC 2004
Artificial intelligence and symbolic computation 7th International conference, AISC 2004
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence and symbolic computation 7th International conference, AISC 2004

Artificial intelligence and symbolic computation (International conference) (7th 2004 Linz, Austria) Bruno Buchberger; J. A Campbell 1940

Berlin Springer London 2004

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

3
Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings
Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany September 10-13, 2007 ; proceedings

TPHOLs 2007 (2007 Kaiserslautern, Germany) Klaus Schneider 1967; Jens Brandt 1978

Berlin Springer New York c2007

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

4
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings

TABLEAUX 2002 (2002 Copenhagen, Denmark) Uwe Egly 1960-; C Fermüller 1963- (Christian)

Berlin Springer New York c2002

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

5
Automated reasoning second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8 2004 : proceedings
Automated reasoning second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated reasoning second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8 2004 : proceedings

IJCAR 2004 (2004 Cork, Ireland) David Basin; Micha el Rusinowitsch

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

6
Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

International Conference on Automated Deduction (18th 2002 Copenhagen, Denmark) A Voronkov 1959- (Andreæi)

Berlin Springer New York c2002

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

7
Theorem proving in higher order logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
Theorem proving in higher order logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in higher order logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

TPHOLs 2002 (15th 2002 Hampton, Va.) Victor A Carreño 1956-; César Muñoz 1968-; Sofiène Tahar 1966-

Berlin Springer New York c2002

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

8
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Material Type:
Livro 		Adicionar ao Meu Espaço

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

Conference on Automated Deduction (5th 1980 Les Arcs, Savoie, France) W Bibel 1938-; Robert Kowalski

Berlin Springer-Verlag New York 1980

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 LNCS v.87 ) e outros locais(Acessar)

9
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
Material Type:
Livro 		Adicionar ao Meu Espaço

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

Conference on Automated Deduction (6th 1982 New York, N.Y.) Donald W Loveland

Berlin Springer-Verlag New York 1982

Localização: IME - Inst. Matemática e Estatística    (S L471c v.138 )(Acessar)

10
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated reasoning with analytic tableaux and related methods international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings

TABLEAUX 2007 (2007 Aix en Provence, France) Nicola Olivetti

Berlin Springer New York c2007

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (7)

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

Buscando em bases de dados remotas. Favor aguardar.