skip to main content
Idioma:
Refinado por: autor: Voronkov, A remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic programming proceedings
Logic programming proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming proceedings

Russian Conference on Logic Programming, 1, Irkutsk, 1990 Andrei Voronkov

Berlin Springer 1992

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

2
Logic programming and automated reasoning proceedings
Logic programming and automated reasoning proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming and automated reasoning proceedings

Russian Conference on Logic Programming, 3., St. Petersburg, 1992 Andrei Voronkov

Berlin Springer 1992

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

3
Logic for programming, artificial intelligence, and reasoning 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings
Logic for programming, artificial intelligence, and reasoning 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for programming, artificial intelligence, and reasoning 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings

LPAR (8th 2001 Havana, Cuba) Robert Nieuwenhuis; A Voronkov 1959- (Andreæi)

Berlin Springer 2001

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

4
Logic for programming, artificial intelligence, and reasoning 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Logic for programming, artificial intelligence, and reasoning 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for programming, artificial intelligence, and reasoning 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings

LPAR 2006 (2006 Phnom Penh, Cambodia) Miki Hermann 1958-; A Voronkov 1959- (Andreæi)

Berlin Springer New York c2006

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

5
Logic programming and automated reasoning 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
Logic programming and automated reasoning 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming and automated reasoning 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

LPAR (4th 1993 Saint Petersburg, Russia) A Voronkov 1959- (Andreæi)

Berlin New York Springer-Verlag c1993

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

6
Perspectives of systems informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers
Perspectives of systems informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Perspectives of systems informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers

International Andrei Ershov Memorial Conference (6th 2006 Novosibirsk, Russia) Irina Virbitskaite; A Voronkov 1959- (Andreæi)

Berlin Springer New York c2007

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

7
Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica December 2-6 2005
Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica December 2-6 2005
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica December 2-6 2005

LPAR (Conference) Geoff Sutcliffe; A Voronkov (Andre i) 1959

Berlin Springer Great Britain 2005

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.