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)