skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: assunto: Lógica Matemática remover assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Category theory and computer science 7th international conference, CTCS 97, Santa Margheria Ligure, Italy, September 4-6, 1997 : proceedings

Eugenio Moggi; G Rosolini (Giuseppe) 1954-; Biennial Conference on Category Theory in Computer Science (7th 1997 Santa Margherita Ligure, Italy)

Berlin Springer-Verlag New York c1997

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

2
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)

3
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)

4
Logic for computer science
Logic for computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for computer science

Steve Reeves 1957- Michael Clarke 1940-

Wokingham, England Addison-Wesley Reading, Mass. c1990

Localização: EPBC - Esc. Politécnica-Bib Central    (658.788 R259L )(Acessar)

5
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)

6
Fundamentals of computation theory 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15 2003 : proceedings
Fundamentals of computation theory 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of computation theory 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15 2003 : proceedings

FCT 2003 (2003 Malmö, Sweden) Andrzej Lingas; Bengt J Nilsson

Berlin Springer New York c2003

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

7
Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings

FCT 2001 (2001 Råiga, Latvia) Rusins Freivalds

Berlin New York Barcelona London Springer c2001

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

8
Handbook of logic in computer science
Handbook of logic in computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of logic in computer science

Samson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-

Oxford Clarendon New York Oxford University Press 1992-<2000>

Localização: EPBC - Esc. Politécnica-Bib Central    (004 H191 v.4 ) e outros locais(Acessar)

9
Logics of programs proceedings
Logics of programs proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics of programs proceedings

Conference on the Logic of Programs (1985 : Brooklin) Rohit Parikh

Berlin Springer 1985

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

10
On the Shape of Mathematical Arguments
On the Shape of Mathematical Arguments
On the Shape of Mathematical Arguments
Material Type:
Livro 		Adicionar ao Meu Espaço

On the Shape of Mathematical Arguments

Antonetta J. M. van Gasteren

Springer Berlin Heidelberg 1990

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

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de1987  (2)
  2. 1987Até1989  (2)
  3. 1990Até1991  (2)
  4. 1992Até1997  (3)
  5. Após 1997  (13)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Lanzi, P
  2. Wilson, S
  3. Stolzmann, W
  4. Ésik, Z
  5. Rogozhin, Y

Neste Assunto:

  1. Lógica Matemática
  2. Teoria Da Computação
  3. Linguagens Formais
  4. Inteligência Artificial
  5. Computer Science

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

Buscando em bases de dados remotas. Favor aguardar.