skip to main content
Idioma:
Resultados 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
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)

3
Logic for programming and automated reasoning 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
Logic for programming and automated reasoning 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for programming and automated reasoning 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

LPAR 2000 (2000 Réunion) Michel Parigot 1956-; A Voronkov 1959- (Andreæi)

Berlin Springer New York 2000

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

4
Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated deduction-CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

International Conference on Automated Deduction (18th 2002 Copenhagen, Denmark) A Voronkov 1959- (Andreæi)

Berlin Springer New York c2002

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

5
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)

6
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)

7
Logic for programming and automated reasoning 6th International Conference, LPAR '99, Kiev, Ukraine, September 6-10, 1999 : proceedings
Logic for programming and automated reasoning 6th International Conference, LPAR '99, Kiev, Ukraine, September 6-10, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for programming and automated reasoning 6th International Conference, LPAR '99, Kiev, Ukraine, September 6-10, 1999 : proceedings

International Conference on Logic Programming and Automated Reasoning (6th 1999 Tbilisi, Georgia) H Ganzinger 1950- (Harald); David A McAllester; A Voronkov 1959- (Andreæi)

Carbonell, G., ed., Siekmann, J., ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-

Berlin Springer-Verlag New York c1999

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

8
Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings

International Computer Science Symposium in Russia (2nd 2007 Ekaterinburg, Russia) Volker Diekert 1955-; Mikhail V Volkov; A Voronkov 1959- (Andreæi)

Berlin Springer New York c2007

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

9
Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers

International Seminar on Logic Databases and the Meaning of Change (1996 Schloss Dagstuhl) Burkhard Freitag 1953-; Hendrik Decker; Michael Kifer; A Voronkov (Andreæi) 1959-; G Goos; J Hartmanis; J Leeuwen; Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (1997 Port Jefferson, N.Y.)

Berlin New York Springer c1998

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

10
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Voronkov, Andrei Voronkov, Andrei

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1999  (3)
  2. 1999Até2001  (7)
  3. 2002Até2005  (7)
  4. 2006Até2010  (13)
  5. Após 2010  (3)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Voronkov, A
  2. LPAR
  3. Hermann, M
  4. Hartmanis, J
  5. Diekert, V

Neste Assunto:

  1. Computer Science
  2. Logic Programming
  3. Congresses
  4. Artificial Intelligence
  5. Automatic Theorem Proving

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

Buscando em bases de dados remotas. Favor aguardar.