1
|
Material Type: Livro
|
|
Computation theory and logic
E Börger 1946- (Egon)
Berlin New York Springer-Verlag c1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.270 ex.1 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Computability and complexity in analysis 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers
Jens Blanck 1966-; Vasco Brattka 1966-; Peter Hertling 1965-
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2064 ) e outros locais(Acessar)
|