skip to main content
Idioma:
Refinado por: autor: Voronkov, A eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1472 ) y otras localizaciones(Obténgalo)

2
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:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1705 e.1 ) y otras localizaciones(Obténgalo)

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:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2250 ) y otras localizaciones(Obténgalo)

4
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:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1955 ) y otras localizaciones(Obténgalo)

5
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:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.4246 ) y otras localizaciones(Obténgalo)

6
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:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 Lnai v.698 e.1 ) y otras localizaciones(Obténgalo)

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:
Libro 		Añadir a Mi Portal

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

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3835 ) y otras localizaciones(Obténgalo)

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de1998  (1)
  2. 1998Hasta1998  (1)
  3. 1999Hasta1999  (1)
  4. 2000Hasta2001  (2)
  5. Después de 2001  (2)
  6. Más opciones open sub menu

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora