skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Refinado por: Biblioteca: IF - Instituto de Física remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livro
Adicionar ao Meu Espaço

Logic and computer science lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E) held at Montecatini Terme, Italy, June 20-28, 1988

Meeting on Logic and Computer Science (1988 : Montecatini Terme, It) Homer Steven; Piergiorgio Odifreddi; Anil Nerode 1932-; Richard A Platek; Gerald E Sacks 1933-; Andrej Scedrov

Berlin Springer 1990

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lnm v.1429 ) e outros locais(Acessar)

2
Mathematics for the analysis of algorithms
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematics for the analysis of algorithms

Daniel H. Greene 1955- Donald Ervin Knuth 1938-

Boston Birkhäuser 1990

Localização: IF - Instituto de Física    (005.1 G799m 3.ed ) e outros locais(Acessar)

3
Material Type:
Livro
Adicionar ao Meu Espaço

Digital computer programming logic and language

Charles M. Thatcher 1922- (Charles Manson) Anthony J Capato

Reading, Mass. Addison-Wesley Pub. Co 1967

Localização: EPBC - Esc. Politécnica-Bib Central    (004.424 T329d ) e outros locais(Acessar)

4
P-Prolog, a parallel logic programming language
Material Type:
Livro
Adicionar ao Meu Espaço

P-Prolog, a parallel logic programming language

Rong Yang

Singapore World Scientific Teaneck, N.J. c1987

Localização: IF - Instituto de Física    (005.133 Y22p )(Acessar)

5
Logic for problem solving
Material Type:
Livro
Adicionar ao Meu Espaço

Logic for problem solving

Robert Kowalski

New York Elsevier North Holland c1979

Localização: EPBC - Esc. Politécnica-Bib Central    (004.832 K849L ) e outros locais(Acessar)

6
Functional and logic programming proceedings of the Second Fuji Interntational Workshop : Shonan Village Center, Japan, November 1-4, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Functional and logic programming proceedings of the Second Fuji Interntational Workshop : Shonan Village Center, Japan, November 1-4, 1996

Fuji International Workshop on Functional and Logic Programming (2nd 1996 Shonan Village Center, Japan) Tetsuo Ida; Atsushi Ohori 1957-; Masato Takeichi

Singapore World Scientific Pub. New Jersey c1997

Localização: IF - Instituto de Física    (005.1306 F961f 2nd )(Acessar)

7
Material Type:
Livro
Adicionar ao Meu Espaço

Logic and algorithms with applications to the computer and information sciences

Robert R. Korfhage

New York Wiley 1966

Localização: EPBC - Esc. Politécnica-Bib Central    (510.6 K841L ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1967  (1)
  2. 1967Até1978  (1)
  3. 1979Até1986  (1)
  4. 1987Até1990  (3)
  5. Após 1990  (1)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.