Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Quantum computer science: an introductionN. David MerminCambridge University Press 2007Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Formal Semantics and Pragmatics for Natural Language QueryingJames CliffordCambridge Cambridge University Press 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Hybrid Neural SystemsRon Sun Ron Sun; Stefan WermterSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Symbolic Logic and Mechanical Theorem ProvingChin-Liang Chang Richard Char-Tung LeeAcademic Press 1973Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
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. |
|
7 |
Material Type: Livro
|
Turing Machines with Sublogarithmic SpaceAndrzej SzepietowskiSpringer Berlin Heidelberg 1994Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
The Evolution of ProgramsDershowitz E Coffman; R. L GrahamBirkhäuser Boston 1983Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Livro
|
Fundamental Algorithms for Permutation GroupsButlerSpringer Berlin Heidelberg 1991Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Combinatorics on TracesVolker DiekertSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |