skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Computer Science remover assunto: Logic, Symbolic And Mathematical remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic of Computation
Logic of Computation
Logic of Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic of Computation

Helmut Schwichtenberg

Springer Berlin Heidelberg 1997

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

2
Logic and information flow
Logic and information flow
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and information flow

J. van Eijck (Jan); Albert Visser

Cambridge, Mass. MIT Press c1994

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

3
Logic for applications
Logic for applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for applications

Anil Nerode 1932- Richard A Shore 1946-

New York Springer c1997

Localização: IME - Inst. Matemática e Estatística    (QA9.1 N451L )(Acessar)

4
Computation, logic, philosophy a collection of essays
Computation, logic, philosophy a collection of essays
Material Type:
Livro 		Adicionar ao Meu Espaço

Computation, logic, philosophy a collection of essays

Hao Wang 1921-

Beijing, China Science Press Dordrecht, Holland Boston Kluwer Academic Publishers c1990

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (510.1 H252c ) e outros locais(Acessar)

5
Discrete mathematics and its applications
Discrete mathematics and its applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Discrete mathematics and its applications

Kenneth H Rosen

Boston McGraw-Hill Higher Education c2007

Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto    (51 R813d6 29575 ) e outros locais(Acessar)

6
Alan Turing : his work and impact
Alan Turing : his work and impact
Alan Turing : his work and impact
Material Type:
Livro 		Adicionar ao Meu Espaço

Alan Turing : his work and impact

S. Barry Cooper S. Barry Cooper; Jan Leeuwen; Alan Mathison Turing; J van Leeuwen J. van Leeuwen

Elsevier 2013

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

7
Automata Logics, and Infinite Games
Automata Logics, and Infinite Games
Automata Logics, and Infinite Games
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata Logics, and Infinite Games

Erich Grädel Erich Grädel; Wolfgang Thomas; Thomas Wilke

Springer Berlin Heidelberg 2002

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

8
Discrete structures, logic, and computability
Discrete structures, logic, and computability
Material Type:
Livro 		Adicionar ao Meu Espaço

Discrete structures, logic, and computability

James L. Hein

Sudbury, Mass. Jones and Bartlett Publishers c2010

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004 H364d3 )(Acessar)

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

10
Iteration theories the equational logic of iterative processes
Iteration theories the equational logic of iterative processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Iteration theories the equational logic of iterative processes

Stephen L. Bloom 1940- Zoltán Ésik 1951-

Berlin Springer-Verlag New York c1993

Localização: IME - Inst. Matemática e Estatística    (QA816 B655i e.2 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (1.023)
  2. Anais de Congresso  (20)
  3. Artigos  (4)
  4. Dissertações  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1982  (13)
  2. 1982Até1991  (87)
  3. 1992Até2001  (315)
  4. 2002Até2012  (575)
  5. Após 2012  (411)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.045)
  2. Alemão  (20)
  3. Japonês  (12)
  4. Catalão  (2)
  5. Italiano  (2)
  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.