skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Clausal Theory of Types
Clausal Theory of Types
Material Type:
Livro
Adicionar ao Meu Espaço

Clausal Theory of Types

D. A. Wolfram

Cambridge Cambridge University Press 1993

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

2
Combinatorics on Traces
Combinatorics on Traces
Material Type:
Livro
Adicionar ao Meu Espaço

Combinatorics on Traces

Volker Diekert

Springer Berlin Heidelberg 1990

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

3
The Evolution of Programs
The Evolution of Programs
Material Type:
Livro
Adicionar ao Meu Espaço

The Evolution of Programs

Dershowitz E Coffman; R. L Graham

Birkhäuser Boston 1983

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

4
Formal Semantics and Pragmatics for Natural Language Querying
Formal Semantics and Pragmatics for Natural Language Querying
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Semantics and Pragmatics for Natural Language Querying

James Clifford

Cambridge Cambridge University Press 1990

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

5
Fundamental Algorithms for Permutation Groups
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamental Algorithms for Permutation Groups

Butler

Springer Berlin Heidelberg 1991

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

6
Fundamentals of Computation Theory
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamentals of Computation Theory

International Conference on Fundamentals of Computation Theory Lothar Budach

Springer Berlin Heidelberg 1991

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

7
Hybrid Neural Systems
Hybrid Neural Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Hybrid Neural Systems

Ron Sun Ron Sun; Stefan Wermter

Springer Berlin Heidelberg 2000

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

8
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF
Material Type:
Livro
Adicionar ao Meu Espaço

Logic and Computation: Interactive Proof with Cambridge LCF

Lawrence C. Paulson

Cambridge Cambridge University Press 1987

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

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

10
practical introduction to denotational semantics
practical introduction to denotational semantics
Material Type:
Livro
Adicionar ao Meu Espaço

practical introduction to denotational semantics

L. Allison

Cambridge University Press 1986

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1985  (2)
  2. 1985Até1986  (2)
  3. 1987Até1990  (4)
  4. 1991Até1994  (4)
  5. Após 1994  (3)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.