1
|
Material Type: Livro
|
|
Logic and computation proceedings
Workshop on Logic and Computational, Pittsburg, 1987 Wilfried Sieg
Providence Ams 1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(00-02 Contempo v.106 ) e outros locais(Acessar)
|
2
|
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)
|
3
|
Material Type: Livro
|
|
The annotated Turing a guided tour through Alan Turing's historic paper on computability and the Turing machine
Charles Petzold 1953-
Indianapolis, IN Wiley c2008
Emprestado de
IME - Inst. Matemática e Estatística
(QA810 P513a )(Acessar)
|