skip to main content
Refinado por: data de publicação: Antes de1999 remover
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
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
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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.