Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Clausal Theory of TypesD. A. WolframCambridge Cambridge University Press 1993Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Combinatorics on TracesVolker DiekertSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
The Evolution of ProgramsDershowitz E Coffman; R. L GrahamBirkhäuser Boston 1983Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Formal Semantics and Pragmatics for Natural Language QueryingJames CliffordCambridge Cambridge University Press 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Fundamental Algorithms for Permutation GroupsButlerSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Fundamentals of Computation TheoryInternational Conference on Fundamentals of Computation Theory Lothar BudachSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Hybrid Neural SystemsRon Sun Ron Sun; Stefan WermterSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Logic and Computation: Interactive Proof with Cambridge LCFLawrence C. PaulsonCambridge Cambridge University Press 1987Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
On the Shape of Mathematical ArgumentsAntonetta J. M. van GasterenSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Acesso online. A biblioteca também possui exemplares impressos. |