skip to main content
Idioma:
Refinado por: autor: Nerode, A remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
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
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
Logical methods in honor of Anil Nerode's sixtieth birthday
Logical methods in honor of Anil Nerode's sixtieth birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Logical methods in honor of Anil Nerode's sixtieth birthday

Anil Nerode 1932-; John N Crossley

Boston Birkhäuser 1993

Localização: IME - Inst. Matemática e Estatística    (S P9649 v.12 )(Acessar)

3
Automata theory and its applications
Automata theory and its applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata theory and its applications

Bakhadyr Khoussainov 1961- Anil Nerode 1932-

Boston Birkhäuser c2001

Localização: IME - Inst. Matemática e Estatística    (S P9649 v.21 )(Acessar)

4
Logical foundations of computer science international symposium, LFCS 2007, New York, NY USA June 4-7, 2007 : proceedings
Logical foundations of computer science international symposium, LFCS 2007, New York, NY USA June 4-7, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logical foundations of computer science international symposium, LFCS 2007, New York, NY USA June 4-7, 2007 : proceedings

LFCS 2007 (2007 New York, N.Y.) S. N Artemov; Anil Nerode 1932-

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4514 ) e outros locais(Acessar)

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

Logic for applications

Anil Nerode 1932- Richard A Shore 1946-

New York Springer c1997

Localização: IME - Inst. Matemática e Estatística    (QA9.1 N451L )(Acessar)

6
Logical foundations of computer science 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
Logical foundations of computer science 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logical foundations of computer science 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

LFCS '97 (4th 1997 Yaroslavl§, Russia (City)) S. I Adian 1931-; Anil Nerode 1932-; LFCS '97 (4th 1997 Yaroslavl§, Russia (City))

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1234 ) e outros locais(Acessar)

7
Logic programming and nonmonotonic reasoning 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, july 28-31, 1997 : proceedings
Logic programming and nonmonotonic reasoning 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, july 28-31, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming and nonmonotonic reasoning 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, july 28-31, 1997 : proceedings

LPNMR '97 (4th 1997 Dagstuhl Castle, Germany) J Dix 1961- (Jürgen); Ulrich Furbach; Anil Nerode 1932-

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1265 ) e outros locais(Acessar)

8
Logic programming and nonmonotonic reasoning third international conference, LPNMR'95, Lexington, KY, USA, june 26-28, 1995
Logic programming and nonmonotonic reasoning third international conference, LPNMR'95, Lexington, KY, USA, june 26-28, 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming and nonmonotonic reasoning third international conference, LPNMR'95, Lexington, KY, USA, june 26-28, 1995

International Conference on Logic Programming and Nonmonotonic Reasoning (3. 1995 Lexington, USA) V. Wiktor Marek; Anil Nerode; Miroslaw Truszczynski

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lnai v.928 e.1 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.