skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IFSC - Inst. Física de São Carlos remover assunto: Lógica Matemática remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht
Material Type:
Livro 		Adicionar ao Meu Espaço

Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht

Jan Mycielski 1932-; Grzegorz Rozenberg; Arto Salomaa

Berlin Springer New York c1997

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

2
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Workshop on Computer Science Logic (14th 2000 Fischbachau, Germany) Peter Clote; Helmut Schwichtenberg 1942-; European Association for Computer Science Logic Conference Fischbachau, Germany) 2000

Berlin Springer New York c2000

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

3
Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Workshop on Computer Science Logic (13th 1999 Madrid, Spain) Jörg Flum; M Rodríguez Artalejo (Mario); European Association for Computer Science Logic Conference Madrid, Spain) 1999

Berlin New York Springer c1999

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

4
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 11th international workshop, CSL'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers

Workshop on Computer Science Logic (11th 1997 Aarhus, Denmark) M Nielsen (Mogens) 1949-; Wolfgang Thomas 1947-; European Association for Computer Science Logic Conference Aarhus, Denmark) 1997

Berlin Springer New York 1998

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

5
Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

CSL 2001 (2001 Paris, France) Laurent Fribourg 1957-; European Association for Computer Science Logic

London Springer Berlin 2001

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

6
Multiset processing mathematical, computer science, and molecular computing points of view
Multiset processing mathematical, computer science, and molecular computing points of view
Material Type:
Livro 		Adicionar ao Meu Espaço

Multiset processing mathematical, computer science, and molecular computing points of view

Cristian Calude 1952-

Berlin Springer London c2001

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

7
Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Proof theory in computer science international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

PTCS 2001 (2001 Dahgstuhl Castle) Reinhard Kahle 1967-; Peter Joseph Schroeder-Heister 1953-; Robert F Stärk 1963-

Berlin Springer New York c2001

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

8
Challenges for Action Theories
Challenges for Action Theories
Challenges for Action Theories
Material Type:
Livro 		Adicionar ao Meu Espaço

Challenges for Action Theories

Michael Thielscher

Springer Berlin Heidelberg 2000

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

9
Learning Language in Logic
Learning Language in Logic
Learning Language in Logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Learning Language in Logic

James Cussens James Cussens; Sašo Džeroski

Springer Berlin Heidelberg 2000

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

10
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
A Tight, Practical Integration of Relations and Functions
Material Type:
Livro 		Adicionar ao Meu Espaço

A Tight, Practical Integration of Relations and Functions

Harold Boley

Springer Berlin Heidelberg 1999

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (3)

Data de Publicação 

De até
Refinar
  1. Antes de1996  (2)
  2. 1996Até1997  (5)
  3. 1998Até1999  (15)
  4. 2000Até2002  (38)
  5. Após 2002  (1)
  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.