skip to main content
Idioma:
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Teoria Da Computação remover assunto: Logic, Symbolic And Mathematical remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction in geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers

International Workshop on Automated Deduction in Geometry (1st 1996 Toulouse, France) Dongming Wang

Berlin Springer New York c1998

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

3
Computational logic and proof theory 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
Computational logic and proof theory 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational logic and proof theory 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Kurt Gödel Colloquium (5th 1997 Vienna, Austria) G Gottlob (Georg); Alexander Leitsch 1952-; Daniele Mundici 1946-; Kurt Gödel Society; Colloquium on Computational Logic and Proof Theory (5. 1997 Vienna, AT)

Berlin New York Springer c1997

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

4
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Workshop on Computer Science Logic (4th 1990 Heidelberg, Germany) E Börger 1946- (Egon)

Berlin Springer-Verlag New York c1991

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

5
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings

Workshop on Computer Science Logic (5th 1991 Bern, Switzerland) E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1992

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

6
Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Workshop on Computer Science Logic (6th 1992 San Miniato, Italy) E Börger 1946- (Egon)

Berlin New York Springer-Verlag c1993

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

7
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

CSL '88 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

Workshop on Computer Science Logic (2nd 1988 Duisburg, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-

Berlin New York Springer-Verlag c1989

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

8
First-order dynamic logic
First-order dynamic logic
Material Type:
Livro 		Adicionar ao Meu Espaço

First-order dynamic logic

David Harel 1950-

Berlin New York Springer-Verlag 1979

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

9
Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

E. Thomas Schubert 1959-; Phillip J Windley 1958-; James Alves-Foss 1964-

Berlin New York Springer-Verlag 1995

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

10
The logic of information structures
The logic of information structures
Material Type:
Livro 		Adicionar ao Meu Espaço

The logic of information structures

H. Wansing (Heinrich)

Berlin New York Springer-Verlag c1993

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1979  (2)
  2. 1979Até1988  (2)
  3. 1989Até1991  (2)
  4. 1992Até1995  (6)
  5. Após 1995  (4)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.